From dfabf8ce29f74492790fc85d7314fd47e96be0e3 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Sat, 2 Nov 2019 18:50:10 +0530
Subject: [PATCH] Update ppa:ondrej/php before install

---
 src/scripts/linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 55b3e4a3..989ce37a 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -20,9 +20,9 @@ existing_version=$(php-config --version | cut -c 1-3)
 version=$1
 status="Switched to PHP$version"
 step_log "Setup PHP and Composer"
+find /etc/apt/sources.list.d -type f -name 'ondrej-ubuntu-php*.list' -exec sudo DEBIAN_FRONTEND=noninteractive apt-fast update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1
 if [ "$existing_version" != "$1" ]; then
 	if [ ! -e "/usr/bin/php$1" ]; then
-		sudo DEBIAN_FRONTEND=noninteractive add-apt-repository ppa:ondrej/php -y >/dev/null 2>&1
 		if [ "$1" != "7.4" ]; then
 		  sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$1" curl php"$1"-curl >/dev/null 2>&1
 		else