From: Uwe Köcher Date: Mon, 2 Nov 2015 16:48:37 +0000 (+0100) Subject: candi: cleaned up command line options X-Git-Tag: v0.8~7^2~19 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=05e1ed404b5ff54b2a313ee3ec02ff199efb88ef;p=candi.git candi: cleaned up command line options --- diff --git a/candi.sh b/candi.sh index dc1ab88..80c1ab2 100755 --- a/candi.sh +++ b/candi.sh @@ -43,7 +43,7 @@ for param in "$@"; do case $param in ##################################### # Prefix path - -p=*|--prefix=*|--PREFIX_PATH=*) + -p=*|--prefix=*) PREFIX="${param#*=}" # replace '~' by $HOME PREFIX=${PREFIX/#~\//$HOME\/} @@ -51,7 +51,7 @@ for param in "$@"; do ##################################### # Number of maximum processes to use - -np=*|--np=*|--procs=*|--PROCS=*) + --PROCS=*) NP="${param#*=}" ;; # Make styled processes