-# --- Setting xterm titles ---
-#
-# This doesn't work so well any more. :-(
-
-# if [ -e /usr/lib/bash/xtitle.so ]; then
-# enable -f /usr/lib/bash/xtitle.so xtitle
-# elif [ -e /usr/local/lib/xtitle.so ]; then
-# enable -f /usr/local/lib/xtitle.so xtitle
-# elif [ -e $HOME/lib/bash/xtitle.so ]; then
-# enable -f $HOME/lib/bash/xtitle.so xtitle
-# else
-# xtitle () { return 1; }
-# fi
-xtitle () { return 1; }
-
-entitle () {
- local t="`xtitle -q`" st
- xtitle "$t $1"
- shift
- "$@"; st=$?
- xtitle "$t"
- return $st
-}
-