x11/window-title
author Tomas Zeman <tzeman@volny.cz>
Wed, 20 Jun 2012 15:58:40 +0200
changeset 24 ea1110c7e73f
parent 0 72aa32b4fa51
permissions -rw-r--r--
scala/dsls
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