window-title: set terminal title
authorTomas Zeman <tzeman@volny.cz>
Tue, 09 Jan 2018 12:28:15 +0100
changeset 52 c0d94e64d89a
parent 51 12e5a6900efd
child 53 09b1d3c0aa20
window-title: set terminal title
scripts/window-title
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/window-title	Tue Jan 09 12:28:15 2018 +0100
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec echo -ne "\033];$@\007"