x11/window-title
author Tomas Zeman <tzeman@volny.cz>
Thu, 21 Jul 2011 14:32:22 +0200
changeset 13 f0e6a4b18ab8
parent 0 72aa32b4fa51
permissions -rw-r--r--
java/jdbc
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