]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: cleaned up command line options
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 16:48:37 +0000 (17:48 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 16:48:37 +0000 (17:48 +0100)
candi.sh

index dc1ab887e4b380c2d8e50bd4bcbc6d4fd8197c74..80c1ab28814e06b1416f85644133f5160fd16321 100755 (executable)
--- 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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.