pederbs/config
pederbs
/
config
2
1
Fork 0
Code Issues Pull Requests Releases Activity

format dconf

This commit is contained in:
Peder Bergebakken Sundt 2024-09-27 09:05:39 +02:00
parent d2f990d335
commit efacba3c5f
2 changed files with 68 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
users/pbsds/home/profiles/gnome/dconf-gnome-bindings.nix
View File

@ -6,8 +6,16 @@ with lib.hm.gvariant;
{
dconf.settings = {
"org/gnome/desktop/input-sources" = {
sources = [ (mkTuple [ "xkb" "no" ]) ];
xkb-options = [ "terminate:ctrl_alt_bksp" "caps:none" ];
sources = [
(mkTuple [
"xkb"
"no"
])
];
xkb-options = [
"terminate:ctrl_alt_bksp"
"caps:none"
];
};
"org/gnome/desktop/peripherals/touchpad" = {
@ -23,20 +31,44 @@ with lib.hm.gvariant;
move-to-monitor-down = [ "<Shift><Super>Down" ];
move-to-monitor-up = [ "<Shift><Super>Up" ];
move-to-workspace-1 = [ ];
move-to-workspace-down = [ "<Super><Shift>Page_Down" "<Control><Shift><Alt>Down" ];
move-to-workspace-down = [
"<Super><Shift>Page_Down"
"<Control><Shift><Alt>Down"
];
move-to-workspace-last = [ ];
move-to-workspace-left = [ "<Super><Shift><Alt>Left" "<Control><Shift><Alt>Left" ];
move-to-workspace-right = [ "<Super><Shift><Alt>Right" "<Control><Shift><Alt>Right" ];
move-to-workspace-up = [ "<Super><Shift>Page_Up" "<Control><Shift><Alt>Up" ];
move-to-workspace-left = [
"<Super><Shift><Alt>Left"
"<Control><Shift><Alt>Left"
];
move-to-workspace-right = [
"<Super><Shift><Alt>Right"
"<Control><Shift><Alt>Right"
];
move-to-workspace-up = [
"<Super><Shift>Page_Up"
"<Control><Shift><Alt>Up"
];
panel-main-menu = [ "<Alt>F1" ];
switch-applications = [ ];
switch-applications-backward = [ ];
switch-to-workspace-1 = [ ];
switch-to-workspace-down = [ "<Super>Page_Down" "<Control><Alt>Down" ];
switch-to-workspace-down = [
"<Super>Page_Down"
"<Control><Alt>Down"
];
switch-to-workspace-last = [ ];
switch-to-workspace-left = [ "<Super><Alt>Left" "<Control><Alt>Left" ];
switch-to-workspace-right = [ "<Super><Alt>Right" "<Control><Alt>Right" ];
switch-to-workspace-up = [ "<Super>Page_Up" "<Control><Alt>Up" ];
switch-to-workspace-left = [
"<Super><Alt>Left"
"<Control><Alt>Left"
];
switch-to-workspace-right = [
"<Super><Alt>Right"
"<Control><Alt>Right"
];
switch-to-workspace-up = [
"<Super>Page_Up"
"<Control><Alt>Up"
];
switch-windows = [ "<Alt>Tab" ];
switch-windows-backward = [ "<Shift><Alt>Tab" ];
unmaximize = [ "<Super>Down" ];
@ -56,7 +88,21 @@ with lib.hm.gvariant;
"org/gnome/settings-daemon/plugins/media-keys" = {
area-screenshot = [ "<Primary><Shift>Print" ];
area-screenshot-clip = [ "<Primary>Print" ];
custom-keybindings = [ "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom4/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom5/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom6/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom7/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom8/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom9/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom10/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom12/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom11/" ];
custom-keybindings = [
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom4/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom5/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom6/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom7/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom8/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom9/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom10/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom12/"
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom11/"
];
home = [ "<Super>e" ];
magnifier = [ "<Super>Escape" ];
magnifier-zoom-in = [ "<Super>plus" ];

6
users/pbsds/home/profiles/gnome/dconf-pull.sh
View File

@ -1,5 +1,5 @@
#!/usr/bin/env nix-shell
#!nix-shell -i bash -p dconf2nix sd
#!nix-shell -i bash -p dconf2nix sd nixfmt-rfc-style
set -euo pipefail
cd "$(dirname "${BASH_SOURCE[0]}")"
@ -45,3 +45,7 @@ dump1() {
'"/org/gnome/desktop/interface" = {' \
'"/org/gnome/desktop/interface" = lib.mkDefault {' \
> dconf-gnome-theme.nix
nixfmt dconf-gnome-bindings.nix
nixfmt dconf-gnome-extensions.nix
nixfmt dconf-gnome-theme.nix