2020-05-22 01:32:14 +00:00
|
|
|
{ pkgs, ... }: {
|
2020-05-21 23:09:19 +00:00
|
|
|
services.gpg-agent.pinentryFlavor = "gnome3";
|
2020-05-16 14:36:59 +00:00
|
|
|
dconf.settings = {
|
|
|
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/terminal" =
|
|
|
|
{
|
|
|
|
binding = "<Super>Return";
|
|
|
|
command = "kitty";
|
|
|
|
name = "Terminal";
|
|
|
|
};
|
|
|
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/hotkeys" =
|
|
|
|
{
|
|
|
|
binding = "<Super>space";
|
2020-05-19 21:22:20 +00:00
|
|
|
command = "kitty hotkeys";
|
2020-05-16 14:36:59 +00:00
|
|
|
name = "Hotkeys";
|
|
|
|
};
|
|
|
|
"org/gnome/settings-daemon/plugins/media-keys" = {
|
|
|
|
custom-keybindings = [
|
|
|
|
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/terminal/"
|
|
|
|
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/hotkeys/"
|
|
|
|
];
|
|
|
|
mic-mute = [ "<Primary><Shift>U+2113" ];
|
|
|
|
next = [ "<Primary><Shift>dollar" ];
|
|
|
|
play = [ "<Primary><Shift>guillemotleft" ];
|
|
|
|
previous = [ "<Primary><Shift>EuroSign" ];
|
|
|
|
screensaver = [ "<Primary>Escape" ];
|
|
|
|
volume-down = [ "<Primary><Shift>section" ];
|
|
|
|
volume-up = [ "<Primary><Shift>degree" ];
|
2020-06-02 10:38:17 +00:00
|
|
|
area-screenshot = [ "Print" ];
|
|
|
|
screenshot = [ ];
|
2020-05-16 14:36:59 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|