# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1592903256 -7200
# Node ID ae433b7676e220f378979d7d4be78c834f17b3df
# Parent  035b86a56dc6d156cb7611d298b22384fd60e435
scripts: window-title

diff -r 035b86a56dc6 -r ae433b7676e2 home.nix
--- a/home.nix	Fri Jun 19 15:44:00 2020 +0200
+++ b/home.nix	Tue Jun 23 11:07:36 2020 +0200
@@ -13,6 +13,7 @@
     ./idea.nix
     ./mailcap.nix
     ./sbt.nix
+    ./scripts.nix
     ./ssh.nix
     ./priv
   ];
diff -r 035b86a56dc6 -r ae433b7676e2 scripts.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts.nix	Tue Jun 23 11:07:36 2020 +0200
@@ -0,0 +1,16 @@
+{ pkgs, ... }:
+
+let
+
+  wt = pkgs.writers.writeBashBin "window-title" ''
+    exec echo -ne "\033];$@\007"
+  '';
+
+in {
+  home.packages = [
+    wt
+  ];
+}
+
+# vim: ts=2 sw=2 et 
+