From f534ceed49783f15a6e2627d100f08011574617f Mon Sep 17 00:00:00 2001
From: Daniele Rapetti <iximiel@gmail.com>
Date: Fri, 30 Aug 2024 10:35:38 +0200
Subject: [PATCH] expanding ~ IV

---
 install-plumed.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/install-plumed.sh b/install-plumed.sh
index 8a01f2e..adc7d0e 100755
--- a/install-plumed.sh
+++ b/install-plumed.sh
@@ -2,6 +2,7 @@
 
 # To me: the enviromental variable I am using as input are in CAPS,
 # if I modify a variable is in lower case
+set -x
 
 cat <<EOF
 REPO="$REPO"
@@ -49,9 +50,7 @@ prefix=${PREFIX-~/opt}
 prefix=${prefix/~/$HOME}
 mkdir -p "$prefix"
 prefix=$(realpath "$prefix")
-if [[ -n "$PREFIX" ]]; then
-    plumed_options="$plumed_options --prefix=\"$prefix\""
-fi
+plumed_options="$plumed_options --prefix=\"$prefix\""
 
 if [[ -n "$MODULES" ]]; then
     plumed_options="$plumed_options --enable-modules=$MODULES"
@@ -60,6 +59,11 @@ fi
 #cheking out to $version before compiling the dependency json for this $version
 git checkout --quiet $version
 
+cat <<EOF
+prefix=$prefix
+plumed_options=$plumed_options
+EOF
+
 if [[ -n $DEPPATH ]]; then
     mkdir -pv "$DEPPATH"
     dependencies_file="${DEPPATH}/extradeps${version}.json"