Skip to content
Snippets Groups Projects
Select Git revision
  • 190cda5085ad2194883c09dafca70d550a611ff4
  • master default protected
2 results

bashrc

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