scripts: window-title
authorTomas Zeman <tomas@functionals.cz>
Tue, 23 Jun 2020 11:07:36 +0200
changeset 9 ae433b7676e2
parent 8 035b86a56dc6
child 10 3466d7470902
scripts: window-title
home.nix
scripts.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
   ];
--- /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 
+