replaces ~ by $HOME in the given prefix dir string

diff --git a/candi.sh b/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=*)