add extra text to printed repo name to differentiate e.g toolkit vs. browser
authorRobert Kaiser <robert@notebook.box.kairo.at>
Sun, 27 Feb 2011 19:02:27 +0000 (20:02 +0100)
committerRobert Kaiser <robert@notebook.box.kairo.at>
Sun, 27 Feb 2011 19:02:27 +0000 (20:02 +0100)
origdiff

index 3f1a78c2007dcd7d447c7b99c1e56e56762d5475..f70e9d1c83959bada6a79f99cda869b88c72f8ed 100755 (executable)
--- 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..."