From 68939caedd89f87c99d2c1c4c05cffaf7bf09580 Mon Sep 17 00:00:00 2001
From: Volker Eckert <volker.eckert@arm.com>
Date: Wed, 29 Aug 2018 10:45:15 +0100
Subject: [PATCH] init_env: do not replace the running shell. instead start a
 new one, so that on exiting lisa, we go back to the shell.

---
 init_env | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init_env b/init_env
index d5119ab97..c53915932 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
-- 
GitLab