Select Git revision
bashrc
-
Jiří Kalvoda authoredJiří Kalvoda authored
bashrc 401 B
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
}