feat: remove unused ubuntu ppa (#1591)

Fixes #1573
This commit is contained in:
Jonas L 2022-02-11 14:34:32 +01:00 committed by GitHub
parent d3c37ce162
commit c3d2a4dfab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions

View File

@ -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..."