x11/window-title
author Tomas Zeman <tzeman@volny.cz>
Wed, 17 Apr 2013 15:56:02 +0200
changeset 33 89e588e5e724
parent 0 72aa32b4fa51
permissions -rw-r--r--
branch merge
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