From: Uwe Köcher <koecher@hsu-hamburg.de>
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=*)