Searched refs:dir_rm (Results 1 – 1 of 1) sorted by relevance
420 typeset dir_rm433 dir_rm=${dir_spec%%/}435 dir_rm=${dir_spec}443 if [[ -z "$dir_rm" ]]; then456 print "rename $dir_rm $TRASH_DIR/removed.$$" > $batch_file_rm