2 # This creates some standard functions. See also $talkdir/bashrc
3 # which runs in the same bash context as the terminal.
5 # Place any local environment variables and settings in "local".
6 if [ -f local ]; then source local; fi
8 # Environment variables.
9 export HISTFILE=$talkdir/history
10 export PATH=$talkdir:$PATH
11 export EDITOR="emacs -nw"
13 # remember <command> <args ...>
15 # This function does two things: (1) It adds the command and arguments
16 # to the shell history, so that commands can be recalled using up
17 # arrow or reverse search. (2) It makes a function key recall the
18 # command. The first command is assigned to F2, the second to F3 and
23 rm -f $talkdir/bindings
27 keys=(- OP OQ OR OS '[15~' '[17~' '[18~' '[19~' '[20~' '[21~')
31 echo "$@" >> $HISTFILE
32 echo \"\\e${keys[$fnum]}\":\"\\C-k \\C-u"$@"\" >> $talkdir/bindings
39 /bin/bash --rcfile $talkdir/bashrc "$@"