From 2d228c0520ecbf24ca8d3711cea99d174b0e56f5 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Tue, 21 Apr 2020 14:59:54 +0100
Subject: [PATCH] Remove PPA installation process

---
 setup/system.sh | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/setup/system.sh b/setup/system.sh
index e9ef723d..4d1dd08e 100755
--- a/setup/system.sh
+++ b/setup/system.sh
@@ -75,19 +75,6 @@ then
 	fi
 fi
 
-# ### Add PPAs.
-
-# We install some non-standard Ubuntu packages maintained by other
-# third-party providers. First ensure add-apt-repository is installed.
-
-if [ ! -f /usr/bin/add-apt-repository ]; then
-	echo "Installing add-apt-repository..."
-	hide_output apt-get update
-	apt_install software-properties-common
-fi
-
-# N/A to Debian
-
 # Certbot doesn't require a PPA in Debian
 
 # ### Update Packages