3 # Need a short sleep to allow the previous shell to exit, possibly
4 # writing to the history file, before we start the new shell. Could
5 # write to a different history file each time which would avoid this.
9 export HISTFILE=/tmp/history
15 echo "$@" >> $HISTFILE
26 -e '/bin/bash --norc' \