diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index 93c2221a..7a5ab52f 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -20,12 +20,6 @@ add_log() { update_ppa() { if [ "$ppa_updated" = "false" ]; then sudo "$debconf_fix" apt-get update >/dev/null 2>&1 -# if [[ "$version" =~ $old_versions ]]; then -# ppa="dotdeb-ubuntu-php*.list" -# else -# ppa="ondrej-ubuntu-php*.list" -# fi -# find /etc/apt/sources.list.d -type f -name "$ppa" -exec sudo "$debconf_fix" apt-fast update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1 ppa_updated="true" fi }