From f3b933fc1db2601aa51915dc067be270a7b187c4 Mon Sep 17 00:00:00 2001 From: Gerhard Hoffmann Date: Thu, 2 Jun 2022 17:42:35 +0200 Subject: [PATCH] add zone parameter --- update_psa | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/update_psa b/update_psa index 941f7d2..24fe212 100755 --- a/update_psa +++ b/update_psa @@ -30,6 +30,10 @@ while test $# -gt 0; do shift CONFIGFILENAME="$1" ;; + --zone | --zon | --zo | --z | -zone | -zon | -zo | -z ) + shift + ZONE="$1" + ;; --wdir | --wdi | --wd | --w | -wdir | -wdi | -wd | -w ) shift WORKING_DIRECTORY="$1"