x11/window-title
author Tomas Zeman <tomas@functionals.cz>
Tue, 09 Dec 2025 08:33:16 +0100
changeset 42 754c00b59e01
parent 0 72aa32b4fa51
permissions -rw-r--r--
git serve
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