scripts/window-title
changeset 52 c0d94e64d89a
--- /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"