From 64ba54fc1b6a99f3f0d8ea2d6956d7d78c2b18e7 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Sat, 22 Feb 2020 00:16:22 +0530
Subject: [PATCH] Hotfix: Force update ppa

---
 src/scripts/linux.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 1e043a67..47323491 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -287,10 +287,7 @@ if [ "$existing_version" != "$version" ]; then
     elif [[ "$version" =~ $old_versions ]] || [ "$version" = "5.3" ]; then
       setup_old_versions
     else
-      version_exists=$(apt-cache policy -- php"$version" | grep "$version")
-      if [ -z "$version_exists" ]; then
-        update_ppa
-      fi
+      update_ppa
       $apt_install php"$version" php"$version"-curl php"$version"-mbstring php"$version"-xml >/dev/null 2>&1
     fi
     status="Installed"