examples/simple/functions

   1 # -*- shell-script -*-
   2
   3 export PS1="$ "
   4 export HISTFILE=/tmp/history
   5
   6 rm -f $HISTFILE
   7
   8 add_history ()
   9 {
  10     echo "$@" >> $HISTFILE
  11 }
  12
  13 terminal ()
  14 {
  15     exec \
  16         gnome-terminal \
  17         --window \
  18         --geometry=+100+100 \
  19         --hide-menubar \
  20         -e '/bin/bash --norc' \
  21         "$@"
  22 }