x11/window-title
author Tomas Zeman <tzeman@volny.cz>
Mon, 23 May 2011 10:01:26 +0200
changeset 7 222d58b81ced
parent 0 72aa32b4fa51
permissions -rw-r--r--
lighttpd/virtual-hosting-individual-php: each virt. host runs php under own uid
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
72aa32b4fa51 Imported notes for dosemu, rsync, x11
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     1
x11 window title:
72aa32b4fa51 Imported notes for dosemu, rsync, x11
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     2
72aa32b4fa51 Imported notes for dosemu, rsync, x11
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     3
  printf \\033]0\;\%s\\007 "$title"
72aa32b4fa51 Imported notes for dosemu, rsync, x11
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     4
72aa32b4fa51 Imported notes for dosemu, rsync, x11
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     5