From 988cef62daf0edbd74772a0290a977530331631c Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Fri, 3 Jul 2020 15:18:11 +0530
Subject: [PATCH] Add ondrej's PPA on focal

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

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 28489cf3..514c93a3 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -238,6 +238,10 @@ existing_version=$(php-config --version 2>/dev/null | cut -c 1-3)
 # Setup PHP
 step_log "Setup PHP"
 sudo mkdir -p /var/run /run/php
+. /etc/lsb-release
+if [ "$DISTRIB_RELEASE" = "20.04" ]; then
+  LC_ALL=C.UTF-8 sudo apt-add-repository ppa:ondrej/php -y
+fi
 
 if [ "$existing_version" != "$version" ]; then
   if [ ! -e "/usr/bin/php$version" ]; then