| author | Tomas Zeman <tomas@functionals.cz> |
| Fri, 31 Dec 2021 12:25:17 +0100 | |
| changeset 41 | c4f9f37e9a28 |
| parent 0 | 72aa32b4fa51 |
| permissions | -rw-r--r-- |
|
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 |