Searched refs:DIRTO (Results 1 – 1 of 1) sorted by relevance
45 DIRTO=$247 DIRTO=.50 if [ ! -d $DIRTO ]52 echo "$0: $DIRTO is not a directory"57 cd $DIRTO