Searched refs:REGFILE (Results 1 – 1 of 1) sorted by relevance
2491 REGFILE=$ITSREG2493 REGFILE=$HOME/.its.reg2495 REGFILE=$DEFREGFILE2497 if [[ ! -r $REGFILE ]]; then2498 print "ERROR: Unable to read database registry file $REGFILE"2500 elif [[ $REGFILE != $DEFREGFILE ]]; then2501 print " its.reg from: $REGFILE"2504 $SED -e '/^#/d' -e '/^[ ]*$/d' $REGFILE | while read LINE; do