Fix cleanup_lists in linux.sh for old PHP

shivammathur · Sep 6, 2020 · e3286d1 · e3286d1
1 parent 83019fa
commit e3286d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
 }