# HG changeset patch # User Jeff Hammel # Date 1384895376 28800 # Node ID 752e5eea7ea8a048f641de04d15ce54a6a052b89 # Parent 040060217df6ade3c23552eaf2a976c99660ead6 .bash_mozilla diff -r 040060217df6 -r 752e5eea7ea8 .bash_mozilla --- a/.bash_mozilla Tue Nov 19 12:50:41 2013 -0800 +++ b/.bash_mozilla Tue Nov 19 13:09:36 2013 -0800 @@ -22,8 +22,17 @@ name=$1 for _MOZCONFIG in "${MOZCONFIGS}/${name}" "${MOZCONFIGS}/mozconfig.${name}" do - echo $_MOZCONFIG + if [[ -e "${_MOZCONFIG}" ]] + then + echo "Using MOZCONFIG : ${_MOZCONFIG}" + break + fi done + if [[ ! -e "${_MOZCONFIG}" ]] + then + echo "MOZCONFIG ${name} not found" + return 1 + fi else # print usage echo "Usage: mozconfig "