From 5d87ddc1b23906c5f9ac02a5c9ff2d41d1a5584a Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 9 Jul 2015 10:21:28 +0200 Subject: [PATCH] scripts/Bootstrap/Pmodules/profile.bash: - bugfix PMODULES_PREFIX has been renamed to PMODULES_ROOT --- scripts/Bootstrap/Pmodules/profile.bash | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/Bootstrap/Pmodules/profile.bash b/scripts/Bootstrap/Pmodules/profile.bash index b8b9bd3..07f4ef2 100644 --- a/scripts/Bootstrap/Pmodules/profile.bash +++ b/scripts/Bootstrap/Pmodules/profile.bash @@ -15,12 +15,12 @@ unset _init_env_file ############################################################################ # check configuration # -if [[ -z ${PMODULES_PREFIX} ]]; then - echo "Oops: Pmodules prefix not set." 1>&2 +if [[ -z ${PMODULES_ROOT} ]]; then + echo "Oops: Pmodules root not set." 1>&2 return 1 fi -if [[ ! -d ${PMODULES_PREFIX} ]]; then - echo "Oops: ${PMODULES_PREFIX}: Set as Pmodules prefix, but this is not a directory." 1>&2 +if [[ ! -d ${PMODULES_ROOT} ]]; then + echo "Oops: ${PMODULES_ROOT}: Set as Pmodules root, but this is not a directory." 1>&2 return 1 fi if [[ -z ${PMODULES_VERSION} ]]; then