From c3d2a4dfab17407c226509bb23d6b23ebb7afd5a Mon Sep 17 00:00:00 2001 From: Jonas L Date: Fri, 11 Feb 2022 14:34:32 +0100 Subject: [PATCH] feat: remove unused ubuntu ppa (#1591) Fixes #1573 --- install | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/install b/install index 02287d395..f0b2a5bb9 100755 --- a/install +++ b/install @@ -677,6 +677,7 @@ case "${dist}-${code}" in ;; ubuntu-18.04) code="bionic" + # shellcheck disable=SC2034 is_ubuntu_dist=true is_ubuntu_bionic=true ;; @@ -769,10 +770,6 @@ if [ "$ignore_dependencies" = "f" ]; then loud " * Installing External Dependencies * " loud "-----------------------------------------------------" - if $is_ubuntu_dist; then - loudCmd "add-apt-repository -y ppa:libretime/libretime" - fi - if [ -x /usr/bin/apt-get ]; then verbose "\n * Reading packages.ini files..."