hms/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat (home/dconf): custom keybindings

Browse source
This commit is contained in:
Henri Saudubray 2026-01-20 23:46:46 +01:00
parent 469a73acc0
commit 6aa29a5f50
1 changed files with 28 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

59
home/home.nix
View file

@ -224,36 +224,33 @@
show-battery-percentage = true; show-battery-percentage = true;
}; };
"org/gnome/desktop/wm/preferences".button-layout = "appmenu:minimize,maximize,close"; "org/gnome/desktop/wm/preferences".button-layout = "appmenu:minimize,maximize,close";
"org/gnome/desktop/wm/keybindings" = {
## FIXME: Figure out why this does not work. switch-applications = [ "<Alt>grave" ];
switch-applications-backwards = [ "<Shift><Alt>grave" ];
# "org/gnome/desktop/wm/keybindings" = { switch-windows = [ "<Alt>Tab" ];
# switch-applications = [ "<Alt>grave" ]; switch-windows-backwards = [ "<Shift><Alt>Tab" ];
# switch-applications-backwards = [ "<Shift><Alt>grave" ]; };
# switch-windows = [ "<Alt>Tab" ]; "org/gnome/settings-daemon/plugins/media-keys".custom-keybindings = [
# switch-windows-backwards = [ "<Shift><Alt>Tab" ]; "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
# }; "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/"
# "org/gnome/settings-daemon/plugins/media-keys".custom-keybindings = [ ];
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" name = "Terminal";
# ]; command = "blackbox";
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = { binding = "<Super>Return";
# name = "Terminal"; };
# command = "blackbox"; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" = {
# binding = "<Super>Return"; name = "Dark mode switcher";
# }; command = "${pkgs.writeShellScript "gnome-dark-mode-switcher" ''
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" = { SCHEMA=org.gnome.desktop.interface
# name = "Dark mode switcher"; KEY=color-scheme
# command = "${pkgs.writeShellScript "gnome-dark-mode-switcher" '' if [ "$(gsettings get "$SCHEMA" "$KEY")" = "'prefer-dark'" ]; then
# SCHEMA=org.gnome.desktop.interface gsettings set "$SCHEMA" "$KEY" "prefer-light";
# KEY=color-scheme else
# if [ "$(gsettings get "$SCHEMA" "$KEY")" = "'prefer-dark'" ]; then gsettings set "$SCHEMA" "$KEY" "prefer-dark";
# gsettings set "$SCHEMA" "$KEY" "prefer-light"; fi
# else ''}";
# gsettings set "$SCHEMA" "$KEY" "prefer-dark"; binding = "<Super>d";
# fi };
# ''}";
# binding = "<Super>d";
# };
}; };
} }