1 #! /bin/sh

     2 

     3 rc=`mktemp`

     4 cat >>$rc <<_

     5 test -f $HOME/.bashrc && source $HOME/.bashrc

     6 PS1="[RW] $PS1"

     7 trap "DONE" EXIT

     8 _

     9 

    10 set-rw /

    11 if [ $# != 0 ]; then

    12     "$@"

    13 else

    14     bash --rcfile $rc

    15 fi

    16 set-ro /