pinwheel: Add timing script t

2023-10-04 18:06:02 +02:00
parent 7216d66b89
commit fb9fa7ca9c
3 changed files with 24 additions and 0 deletions
--- a/hosts/pinwheel/modules/scripts/default.nix
+++ b/hosts/pinwheel/modules/scripts/default.nix
@@ -0,0 +1,22 @@
+{ pkgs, lib, config, ... }:
+let
+  enabled = config.mod.scripts.enable;
+
+  t = pkgs.writeShellScriptBin "t" ''
+    bash -c "$*"
+    ${pkgs.libnotify}/bin/notify-send "CMD ended:" "$*"
+  '';
+in
+{
+  options = {
+    mod.scripts = {
+      enable = lib.mkEnableOption "add scripts module";
+    };
+  };
+
+  config = lib.mkIf enabled {
+    home-manager.users.alex = {
+      home.packages = [ t ];
+    };
+  };
+}