docs:tips_n_tricks:x11.html
This is an old revision of the document!
X11
xtermtitle:
#!/bin/sh if [ "$#" = 0 ] then title="$HOSTNAME: "`pwd` else title="$*" fi echo -en "\033]0;$title\007" exit $?
docs/tips_n_tricks/x11.html.1274046640.txt.gz · Last modified: 16.05.2010 23:50 CEST by peter