Searched refs:DEF_CONFIG (Results 1 – 1 of 1) sorted by relevance
1273 DEF_CONFIG="${1:-.config}"1291 if [ "$DEF_CONFIG" = ".config" ]1296 if [ -f "$DEF_CONFIG" ]1298 rm -f ${DEF_CONFIG}.old1299 mv $DEF_CONFIG ${DEF_CONFIG}.old1302 mv $CONFIG $DEF_CONFIG