From 368453390314a65826e4f18ea3d063c79b7dea97 Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Sat, 7 Mar 2020 21:49:38 +0100 Subject: [PATCH] better zip management --- src | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src b/src index facdeab..d3ed090 100755 --- a/src +++ b/src @@ -64,8 +64,8 @@ update_tarfile() { update_zipfile() { ## Download and extract this zipfile if it doesn't exist yet if ! [ -d "$2" ] ; then - wget "$1" - unzip "$1" -d "$2" + wget "$1" "${2}.zip" + unzip "${2}.zip" -d "$2" updated="$updated $2" else echo "Already downloaded"