changeset 6 | 10f684acb314 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ROOT/usr/local/sbin/rw.not-yet Wed Nov 28 21:42:55 2012 +0100 @@ -0,0 +1,16 @@ +#! /bin/sh + +rc=`mktemp` +cat >>$rc <<_ +test -f $HOME/.bashrc && source $HOME/.bashrc +PS1="[RW] $PS1" +trap "DONE" EXIT +_ + +set-rw / +if [ $# != 0 ]; then + "$@" +else + bash --rcfile $rc +fi +set-ro /