docs:tips_n_tricks:x11.html
This is an old revision of the document!
X11
setting the title of my xterm
#!/bin/sh if [ "$#" = 0 ] then title="$HOSTNAME: "`pwd` else title="$*" fi echo -en "\033]0;$title\007" exit $?
see also xtermcontrol
docs/tips_n_tricks/x11.html.1298308051.txt.gz · Last modified: 21.02.2011 18:07 CET by peter