diff --git a/bashrc b/bashrc new file mode 100644 index 0000000000000000000000000000000000000000..1c839d76f0ee17083197bf738630a29958a24cec --- /dev/null +++ b/bashrc @@ -0,0 +1,27 @@ +workdir_set() +{ + export workdir=$1 + export LOGFILE=$workdir/log + PS1="$PS1[$workdir] " +} + +workdir_mk() +{ + workdir=$(mktemp -d workdir-XXXXX)/ + touch $workdir/log + workdir_set $workdir + echo ". bashrc && workdir_set $workdir" +} + +workdir_commmit() +{ + if [[ "$workdir" == "" ]] + then + echo No workdir! + return 1 + fi + cat $workdir/log >> log + rm $workdir/log + mv $workdir old_$workdir + unset $workdir +}