scripts/window-title
author Tomas Zeman <tzeman@volny.cz>
Thu, 03 May 2018 11:54:46 +0200
changeset 53 09b1d3c0aa20
parent 52 c0d94e64d89a
permissions -rwxr-xr-x
scala/mail-parser/mail-parser.sc: email parser (based on java mail api); ammonite.io script
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52
c0d94e64d89a window-title: set terminal title
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     1
#!/bin/sh
c0d94e64d89a window-title: set terminal title
Tomas Zeman <tzeman@volny.cz>
parents:
diff changeset
     2
exec echo -ne "\033];$@\007"