Searched refs:DIR (Results 1 – 3 of 3) sorted by relevance
56 local DIR="$1"59 if [ -e "$DIR" ]61 if [ ! -d "$DIR" ]63 echo "$(basename $0) failed: $DIR is not a directory."68 rm -Rf "$DIR"69 mkdir "$DIR"72 mkdir "$DIR"
20 local DIR="$1"23 if [ -e "$DIR" ]25 if [ ! -d "$DIR" ]27 echo "$(basename $0) failed: $DIR is not a directory."32 rm -Rf "$DIR"33 mkdir "$DIR"36 mkdir "$DIR"
56 local DIR="$1"59 if [ -e "$DIR" ]61 if [ ! -d "$DIR" ]63 echo "$(basename "$0") failed: $DIR is not a directory."68 rm -Rf "$DIR"69 mkdir "$DIR"72 mkdir "$DIR"