# HG changeset patch # User Jeff Hammel # Date 1384898689 28800 # Node ID 8ef38b16dcb9d8431c2e591faa2273443ebadb1f # Parent 752e5eea7ea8a048f641de04d15ce54a6a052b89 .bash_mozilla diff -r 752e5eea7ea8 -r 8ef38b16dcb9 .bash_mozilla --- a/.bash_mozilla Tue Nov 19 13:09:36 2013 -0800 +++ b/.bash_mozilla Tue Nov 19 14:04:49 2013 -0800 @@ -3,6 +3,7 @@ # mozilla-specific bash customizations MOZCONFIGS=${HOME}/mozilla/mozconfigs +MOZSRC=${HOME}/mozilla/src mozconfig() { @@ -24,7 +25,6 @@ do if [[ -e "${_MOZCONFIG}" ]] then - echo "Using MOZCONFIG : ${_MOZCONFIG}" break fi done @@ -33,6 +33,24 @@ echo "MOZCONFIG ${name} not found" return 1 fi + + # get name of file + filename=$(basename $_MOZCONFIG) + if [[ "${filename}" == *.* ]] + then + name="${filename##*.}" + prefix="${name}" + else + name=".default." + prefix="obj" + fi + + # set environment variables + export MOZCONFIG=${_MOZCONFIG} + + # print info + echo "Using MOZCONFIG=${MOZCONFIG} [${name}] :" + cat "${MOZCONFIG}" else # print usage echo "Usage: mozconfig "