From e3286d1234206df8db469d18c3ed48cb47dcbb35 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Fri, 28 Aug 2020 11:31:25 +0530
Subject: [PATCH] Fix cleanup_lists in linux.sh for old PHP

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

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 2eaf56ab..19a31c5e 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -41,6 +41,7 @@ cleanup_lists() {
     sudo mv /etc/apt/sources.list.d /etc/apt/sources.list.d.save
     sudo mkdir /etc/apt/sources.list.d
     sudo mv /etc/apt/sources.list.d.save/*ondrej*.list /etc/apt/sources.list.d/
+    sudo mv /etc/apt/sources.list.d.save/*dotdeb*.list /etc/apt/sources.list.d/ 2>/dev/null || true
     trap "sudo mv /etc/apt/sources.list.d.save/*.list /etc/apt/sources.list.d/" exit
   fi
 }