From 436fd986250d12cc38bd56fa559e5d5911ed55de Mon Sep 17 00:00:00 2001
From: levasseur <geoffray.levasseur@obs-mip.fr>
Date: Mon, 20 Sep 2021 17:35:50 +0200
Subject: [PATCH] fixed interactive shell call method

---
 bash.rc | 2 ++
 init.sh | 5 +----
 2 files changed, 3 insertions(+), 4 deletions(-)
 create mode 100644 bash.rc

diff --git a/bash.rc b/bash.rc
new file mode 100644
index 0000000..ed8414f
--- /dev/null
+++ b/bash.rc
@@ -0,0 +1,2 @@
+# Very simple bash RC for interactive script debugging
+PS1='(init.sh) \u@\h:\w\$ '
diff --git a/init.sh b/init.sh
index 127d24c..987e865 100755
--- a/init.sh
+++ b/init.sh
@@ -126,10 +126,7 @@ for mod in $MODULE_LIST; do
 done
 
 if [[ $RUN_SHELL == true ]]; then
-    OLD_PS1=$PS1
-    export PS1="(init.sh) $PS1"
-    bash
-    export PS1=$OLD_PS1
+    bash --noprofile --rcfile $MYPATH/bash.rc
     prnt I "Sortie du script après exécution du shell."
     exit 0
 fi