From 718f22829963407025f6914b1e8d70b92b3f1b52 Mon Sep 17 00:00:00 2001 From: Daniele Rapetti Date: Fri, 30 Aug 2024 09:47:21 +0200 Subject: [PATCH] expanding ~ --- install-plumed.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-plumed.sh b/install-plumed.sh index 5c0a17b..9c94813 100755 --- 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