bashrc

bashrc

+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
+}