Merge pull request #394 from FESOM/levante_fix

Update levante hostname
FESOM · Dec 10, 2022 · 0d7d80d · 0d7d80d
2 parents 80871b3 + 9dde5c1
commit 0d7d80d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/env.sh b/env.sh
@@ -27,7 +27,7 @@ fi
 
 if [[ $LOGINHOST =~ ^m[A-Za-z0-9]+\.hpc\.dkrz\.de$ ]]; then
    STRATEGY="mistral.dkrz.de"
-elif [[ $LOGINHOST =~ ^l[A-Za-z0-9]+\.atos\.local$ ]]; then
+elif [[ $LOGINHOST =~ ^l[A-Za-z0-9]+\.lvt\.dkrz\.de$ ]]; then
    STRATEGY="levante.dkrz.de"
 elif [[ $LOGINHOST =~ ^ollie[0-9]$ ]] || [[ $LOGINHOST =~ ^prod-[0-9]{4}$ ]]; then
    STRATEGY="ollie"