From 6d5c3974ffcdbe3cff14f0286224df29308b907a Mon Sep 17 00:00:00 2001 From: Llewellyn van der Merwe Date: Thu, 12 Nov 2020 02:11:08 +0200 Subject: [PATCH] Removes the removal of zip if new repo is found, since this could indicate a name change, and best run the update again with the zip in that case. --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index fc58c2b..24d4b8f 100755 --- a/run.sh +++ b/run.sh @@ -108,7 +108,7 @@ setuprepo() { # always move back to root folder cd "$ROOTDIR" # we remove the ZIP file - rm "$zippath" + # rm "$zippath" (don't remove since we may need to run this again if a name of the zip has changed) fi }