diff sources/functions.sh @ 835:f0b5901bca48

Cosmetic tweaks. (Make title bar changing callable from elsewhere, make run-emulator.sh kill distccd quietly.)
author Rob Landley <rob@landley.net>
date Sun, 04 Oct 2009 21:53:36 -0500
parents d1a88d878e18
children 96b276eda7f1
line wrap: on
line diff
--- a/sources/functions.sh	Sat Oct 03 17:26:47 2009 -0500
+++ b/sources/functions.sh	Sun Oct 04 21:53:36 2009 -0500
@@ -406,6 +406,12 @@
   echo
 }
 
+function set_titlebar()
+{
+  [ -z "$NO_TITLE_BAR" ] &&
+    echo -en "\033]2;$1\007"
+}
+
 # Extract package $1, use out-of-tree build directory $2 (or $1 if no $2)
 # Use link directory $3 (or $1 if no $3)
 
@@ -461,8 +467,7 @@
   export WRAPPY_LOGPATH="$WRAPPY_LOGDIR/cmdlines.${STAGE_NAME}.$1"
 
   # Change window title bar to package now
-  [ -z "$NO_TITLE_BAR" ] &&
-    echo -en "\033]2;$ARCH_NAME $STAGE_NAME $PACKAGE\007"
+  set_titlebar "$ARCH_NAME $STAGE_NAME $PACKAGE"
 
   # Ugly bug workaround: timestamp granularity in a lot of filesystems is only
   # 1 second, so find -newer misses things installed in the same second, so we