From 76c927975566568b35dd294a5ce6a174133f4cc0 Mon Sep 17 00:00:00 2001
From: Richard Top <richard.topouchian@uib.no>
Date: Thu, 11 Jan 2024 12:36:52 +0000
Subject: [PATCH] modified the init/minimal_eessi_env

---
 init/minimal_eessi_env | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/init/minimal_eessi_env b/init/minimal_eessi_env
index b7cb7c5e9e..5b3562068d 100644
--- a/init/minimal_eessi_env
+++ b/init/minimal_eessi_env
@@ -4,11 +4,11 @@
 # $BASH_SOURCE points to correct path, see also http://mywiki.wooledge.org/BashFAQ/028
 EESSI_INIT_DIR_PATH=$(dirname $(realpath $BASH_SOURCE))
 
-# set up defaults: EESSI_CVMFS_REPO, EESSI_PILOT_VERSION
+# set up defaults: EESSI_CVMFS_REPO, EESSI_VERSION
 #   script takes *_OVERRIDEs into account
 source ${EESSI_INIT_DIR_PATH}/eessi_defaults
 
-export EESSI_PREFIX=$EESSI_CVMFS_REPO/versions/$EESSI_PILOT_VERSION
+export EESSI_PREFIX=$EESSI_CVMFS_REPO/versions/$EESSI_VERSION
 
 if [[ $(uname -s) == 'Linux' ]]; then
     export EESSI_OS_TYPE='linux'