From f58dc6eca1679a8581be95e21e2213cdad7290f7 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Fri, 20 Mar 2020 19:09:27 +0530 Subject: [PATCH] Update all lists --- src/scripts/linux.sh | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index ab53da54..93c2221a 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -19,12 +19,13 @@ add_log() { # Function to update php ppa update_ppa() { if [ "$ppa_updated" = "false" ]; then - 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 + 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 }