changeset 762:879cf963cdbb

Add option to disable title bar display updates.
author Rob Landley <rob@landley.net>
date Sat, 27 Jun 2009 23:55:55 -0500
parents 93149f07231f
children 221b0e3cd8fd
files config sources/functions.sh
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/config	Wed Jun 24 13:02:03 2009 -0500
+++ b/config	Sat Jun 27 23:55:55 2009 -0500
@@ -107,3 +107,7 @@
 # instead of pretty-print output.
 
 # export BUILD_VERBOSE=1
+
+# Don't update the title bar in the display
+
+# export NO_TITLE_BAR=1
--- a/sources/functions.sh	Wed Jun 24 13:02:03 2009 -0500
+++ b/sources/functions.sh	Sat Jun 27 23:55:55 2009 -0500
@@ -415,7 +415,8 @@
   export WRAPPY_LOGPATH="$WRAPPY_LOGDIR/cmdlines.${STAGE_NAME}.$1"
 
   # Change window title bar to package now
-  echo -en "\033]2;$ARCH_NAME $STAGE_NAME $PACKAGE\007"
+  [ -z "$NO_TITLE_BAR" ] &&
+    echo -en "\033]2;$ARCH_NAME $STAGE_NAME $PACKAGE\007"
 }
 
 # usage: wait4background [count]