]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
spns #40183: if user login shell is not Bash, exit on error, instead of simply sendin...
authorNabil Ghodbane <nabil.ghodbane@cea.fr>
Wed, 13 Dec 2023 20:20:28 +0000 (21:20 +0100)
committerNabil Ghodbane <nabil.ghodbane@cea.fr>
Fri, 26 Jan 2024 14:16:59 +0000 (15:16 +0100)
src/fileEnviron.py

index dc8dc8070f5b340ad3162cd143e8d72bd1353b4c..9e98b3fd938d79e9273e731114810e0bbcc1df01 100644 (file)
@@ -744,9 +744,10 @@ then
   # check that the user is not using another shell
   echo
   echo "Warning! SALOME environment not initialized"
-  echo "You must run this script in a bash shell."
+  echo "You must run this script in a BASH shell."
   echo "As you are using another shell. Please first run: bash"
   echo
+  exit 1
 fi
 ##########################################################################
 #