Lines Matching refs:dir
16 # -D # don't delete output dir
66 root=. # default output dir
68 dir=de_`uname -n`_`date +%Y%m%d%H%M` # OUTPUT FILENAME
89 -D # don't delete output dir
107 print "Output dir will be the current dir ($PWD)."
109 print "Output dir will be $root"
140 print "or use an existing dir, eg \"/tmp\""
197 mkdir $dir
199 cd $dir
202 base2=${dir##*/}
204 print "ERROR7: tried to mkdir $dir from $root, but something failed.\n"
500 tar cf $dir.tar $dir
501 gzip $dir.tar
502 decho "File is $dir.tar.gz"
505 cd $dir
506 # this could be all an "rm -r $dir", but since it will be run
543 rmdir $dir
545 decho "Directory is $dir"