]> https://gitweb.dealii.org/ - candi.git/commitdiff
replaces ~ by $HOME in the given prefix dir string
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 11:03:02 +0000 (13:03 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 11:03:02 +0000 (13:03 +0200)
candi.sh

index e1cb8f83e276bfef8df54d50bcd333277e422bf9..6455d45f894dbc9a40b7dc69c82710cb338b609f 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -45,8 +45,10 @@ for param in "$@"; do
         # Prefix path
         -p=*|--prefix=*|--PREFIX_PATH=*)
             PREFIX="${param#*=}"
+            # replace '~' by $HOME
+            PREFIX=${PREFIX/#~\//$HOME\/}
         ;;
-
+        
         #####################################
         # Number of maximum processes to use
         -np=*|--np=*|--procs=*|--PROCS=*)
@@ -56,7 +58,7 @@ for param in "$@"; do
         -j*)
             NP="${param#*j}"
         ;;
-
+        
         #####################################
         # Specific platform
         -pf=*|--platform=*)

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.