expanding ~

plumed · Aug 30, 2024 · 718f228 · 718f228
1 parent e8a94d1
commit 718f228
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install-plumed.sh b/install-plumed.sh
@@ -45,7 +45,7 @@ if [[ -n "$SUFFIX" ]]; then
 fi
 
 #just to be sure
-prefix=${PREFIX-~/opt}
+prefix=$(realpath "${PREFIX-~/opt}")
 if [[ -n "$PREFIX" ]]; then
     plumed_options="$plumed_options --prefix=\"$prefix\""
 fi