From 7043319343a2fdec608bd79d640234ef1cde91d6 Mon Sep 17 00:00:00 2001 From: Haak Saxberg Date: Tue, 15 Mar 2022 23:00:07 -0700 Subject: [PATCH] todo for more gnome keybindings --- nix/home/desktop.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/home/desktop.nix b/nix/home/desktop.nix index c6140b2..be66dbb 100644 --- a/nix/home/desktop.nix +++ b/nix/home/desktop.nix @@ -36,6 +36,7 @@ in let inherit (builtins) length head tail listToAttrs genList; range = a: b: if a < b then [ a ] ++ range (a + 1) b else [ ]; + # TODO: something similar for org/gnome/desktop/wm/keybindings globalPath = "org/gnome/settings-daemon/plugins/media-keys"; path = "${globalPath}/custom-keybindings"; mkPath = id: "${globalPath}/custom${toString id}";