From f32e4f112d10222155292db5d6e4fd3031264ac4 Mon Sep 17 00:00:00 2001 From: Robert Kaiser Date: Sun, 27 Feb 2011 20:02:27 +0100 Subject: [PATCH] add extra text to printed repo name to differentiate e.g toolkit vs. browser --- origdiff | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/origdiff b/origdiff index 3f1a78c2..f70e9d1c 100755 --- a/origdiff +++ b/origdiff @@ -13,26 +13,31 @@ if [ -n "$1" ]; then HG_COMM_DIR=/mnt/mozilla/hg/comm-central COMM_HG_OPTIONS= COMM_DIR=suite/themes/classic/ + COMM_NAME_EXTRA=" (suite)" COMM_LOG=$RUN_DIR/themelog-suitedefault.$SRC_DATE.$DST_DATE.log HG_MOZ_DIR=/mnt/mozilla/hg/comm-central/mozilla MOZ_HG_OPTIONS= MOZ_DIR=toolkit/themes/winstripe/ + MOZ_NAME_EXTRA=" (toolkit)" MOZ_LOG=$RUN_DIR/themelog-tkwinstripe.$SRC_DATE.$DST_DATE.log HG_MOZB_DIR=/mnt/mozilla/hg/comm-central/mozilla MOZB_HG_OPTIONS= MOZB_DIR=browser/themes/winstripe/ + MOZB_NAME_EXTRA=" (browser)" MOZB_LOG=$RUN_DIR/themelog-browserwin.$SRC_DATE.$DST_DATE.log HG_DOMI_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/inspector DOMI_HG_OPTIONS= DOMI_DIR=resources/skin/classic/ + DOMI_NAME_EXTRA= DOMI_LOG=$RUN_DIR/themelog-domiclassic.$SRC_DATE.$DST_DATE.log HG_CZ_DIR=/mnt/mozilla/hg/comm-central/mozilla/extensions/irc CZ_HG_OPTIONS= CZ_DIR=xul/skin/ + CZ_NAME_EXTRA= CZ_LOG=$RUN_DIR/themelog-chatzilla.$SRC_DATE.$DST_DATE.log for repo in $REPO_LIST; do @@ -59,8 +64,10 @@ fi for repo in $REPO_LIST; do HG_DIR_VAR="HG_${repo}_DIR" LOG_VAR="${repo}_LOG" + NAME_EXTRA_VAR="${repo}_NAME_EXTRA" + NAME_EXTRA=${!NAME_EXTRA_VAR} HG_URL=`awk -F ' *= *' '/default *=/ { print $2 }' ${!HG_DIR_VAR}/.hg/hgrc` - REPO_NAME=`basename $HG_URL` + REPO_NAME=`basename $HG_URL`$NAME_EXTRA LOG_NAME=${!LOG_VAR} HTML_NAME=${LOG_NAME/.log/.html} echo "Writing $HTML_NAME..." -- 2.43.0