3 # Place any local environment variables required in 'local'.
4 if [ -f local ]; then source local; fi
8 export HISTFILE=$talkdir/history
15 echo "$@" >> $HISTFILE
20 # Make $HISTFILE unwritable so the shell won't update it
31 -e '/bin/bash --norc' \