# HG changeset patch
# User Tomas Zeman <tzeman@volny.cz>
# Date 1515497295 -3600
# Node ID c0d94e64d89aebcc55e52d6a6508fd70c5467745
# Parent  12e5a6900efd5e1654796bc2f979752cb4d7b42e
window-title: set terminal title

diff -r 12e5a6900efd -r c0d94e64d89a 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"