|
|
|
@ -182,8 +182,8 @@ setopt pushdminus |
|
|
|
# Utility functions |
|
|
|
# Utility functions |
|
|
|
|
|
|
|
|
|
|
|
function new-scratch { |
|
|
|
function new-scratch { |
|
|
|
cur_dir="$HOME/scratch" |
|
|
|
local cur_dir="$HOME/scratch" |
|
|
|
new_dir="$HOME/tmp/scratch-`date +'%s'`" |
|
|
|
local new_dir="$HOME/tmp/scratch-`date +'%s'`" |
|
|
|
mkdir -p $new_dir |
|
|
|
mkdir -p $new_dir |
|
|
|
ln -nfs $new_dir $cur_dir |
|
|
|
ln -nfs $new_dir $cur_dir |
|
|
|
cd $cur_dir |
|
|
|
cd $cur_dir |
|
|
|
|