diff --git a/init_env b/init_env index d5119ab97720ae964cd55ec2d58abbb12e61119a..c53915932a8ab0137553f0b5bf12b103c7fffa95 100644 --- a/init_env +++ b/init_env @@ -19,7 +19,7 @@ # LISA Shell: Initialization grep "bash" /proc/$$/cmdline &>/dev/null if [ $? -eq 0 ]; then - source ./src/shell/lisa_shell + bash --rcfile <(echo 'source ./src/shell/lisa_shell') else echo "WARNING: Current shell is not a BASH" # Check if a bash shell is available