From 9fb02090bf6653abf9d176e4abf351883683ab13 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Sat, 11 Apr 2020 19:23:33 +0100
Subject: [PATCH] Remove operations not applicable to Debian

Signed-off-by: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
---
 setup/system.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/setup/system.sh b/setup/system.sh
index 28043b16..66804919 100755
--- a/setup/system.sh
+++ b/setup/system.sh
@@ -86,12 +86,9 @@ if [ ! -f /usr/bin/add-apt-repository ]; then
 	apt_install software-properties-common
 fi
 
-# Ensure the universe repository is enabled since some of our packages
-# come from there and minimal Ubuntu installs may have it turned off.
-hide_output add-apt-repository -y universe
+# N/A to Debian
 
-# Install the certbot PPA.
-hide_output add-apt-repository -y ppa:certbot/certbot
+# Certbot doesn't require a PPA in Debian
 
 # ### Update Packages