todo for more gnome keybindings
This commit is contained in:
parent
c41d29f6da
commit
7043319343
1 changed files with 1 additions and 0 deletions
|
|
@ -36,6 +36,7 @@ in
|
||||||
let
|
let
|
||||||
inherit (builtins) length head tail listToAttrs genList;
|
inherit (builtins) length head tail listToAttrs genList;
|
||||||
range = a: b: if a < b then [ a ] ++ range (a + 1) b else [ ];
|
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";
|
globalPath = "org/gnome/settings-daemon/plugins/media-keys";
|
||||||
path = "${globalPath}/custom-keybindings";
|
path = "${globalPath}/custom-keybindings";
|
||||||
mkPath = id: "${globalPath}/custom${toString id}";
|
mkPath = id: "${globalPath}/custom${toString id}";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue