# Simple function to print something in an xterm/gnome-terminal title bar
# usage: label text
# where 'text' is any text you want displayed.

label () { echo "]2;$*\c"; }

