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"