x11/window-title
changeset 0 72aa32b4fa51
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/x11/window-title	Mon May 23 09:35:16 2011 +0200
@@ -0,0 +1,5 @@
+x11 window title:
+
+  printf \\033]0\;\%s\\007 "$title"
+
+