From 10fe50f529b676ec09d7c36b23971f66d85a0ed7 Mon Sep 17 00:00:00 2001 From: Daniele Rapetti Date: Fri, 30 Aug 2024 09:50:44 +0200 Subject: [PATCH] expanding ~ II --- install-plumed.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/install-plumed.sh b/install-plumed.sh index 9c94813..63dd1d3 100755 --- a/install-plumed.sh +++ b/install-plumed.sh @@ -45,7 +45,9 @@ if [[ -n "$SUFFIX" ]]; then fi #just to be sure -prefix=$(realpath "${PREFIX-~/opt}") +prefix=${PREFIX-~/opt} +mkdir -p "$prefix" +prefix=$(realpath "$prefix") if [[ -n "$PREFIX" ]]; then plumed_options="$plumed_options --prefix=\"$prefix\"" fi