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.

2020-11-12 02:11:08 +02:00 · 2020-11-12 02:11:08 +02:00 · 6d5c3974ff
commit 6d5c3974ff
parent af97104134
1 changed files with 1 additions and 1 deletions
--- 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
 }