about summary refs log tree commit diff
path: root/machines/profpatsch
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2021-02-27 15:17:47 +0100
committerProfpatsch <mail@profpatsch.de>2021-02-27 15:20:03 +0100
commit1566af10d3ffbea6f204c328b358abdc34fd2545 (patch)
treec5bc8e72d4d446a6861c2cafdd2f12902821919f /machines/profpatsch
parent4f552e6ce6d059a2d5e7b13194e3d65d6f39a62c (diff)
machines/shiki: “solve” the keyboard speed reset problem
External keyboards never keep the speed I set. I don’t want that. I
don’t want to interact with udev, either.
Diffstat (limited to 'machines/profpatsch')
-rw-r--r--machines/profpatsch/shiki.nix18
1 files changed, 18 insertions, 0 deletions
diff --git a/machines/profpatsch/shiki.nix b/machines/profpatsch/shiki.nix
index 1040e201..65d36989 100644
--- a/machines/profpatsch/shiki.nix
+++ b/machines/profpatsch/shiki.nix
@@ -433,6 +433,24 @@ in {
             ExecStart = "${pkgs.notmuch}/bin/notmuch new";
           };
         };
+
+        # I could fight against udev or I could just run this script every ten seconds
+        timers.set-keyboard-speed = {
+          description = "set the keyboard speed every 10 seconds in case a keyboard was plugged in";
+          wantedBy = [ "timers.target" ];
+          timerConfig = {
+            OnStartupSec = "10s";
+            OnUnitActiveSec = "10s";
+          };
+        };
+        services.set-keyboard-speed = {
+          description = "set the keyboard speed";
+          serviceConfig = {
+            Type = "oneshot";
+            ExecStart = "${pkgs.xorg.xset}/bin/xset r rate 250 35";
+          };
+        };
+
       }