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