From fc0fb1c60e17099961f3411e456e1e15979cfc2d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Tue, 6 Oct 2015 13:03:02 +0200 Subject: [PATCH] replaces ~ by $HOME in the given prefix dir string --- candi.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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=*) -- 2.39.5