From: Uwe Köcher Date: Tue, 6 Oct 2015 11:03:02 +0000 (+0200) Subject: replaces ~ by $HOME in the given prefix dir string X-Git-Tag: v0.7~13^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fc0fb1c60e17099961f3411e456e1e15979cfc2d;p=candi.git replaces ~ by $HOME in the given prefix dir string --- diff --git a/candi.sh b/candi.sh index e1cb8f8..6455d45 100755 --- 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=*)