# Generated via dconf2nix: https://github.com/gvolpe/dconf2nix { lib, ... }: with lib.hm.gvariant; { dconf.settings = { "org/gnome/desktop/input-sources" = { sources = [ (mkTuple [ "xkb" "no" ]) ]; xkb-options = [ "terminate:ctrl_alt_bksp" "caps:none" ]; }; "org/gnome/desktop/peripherals/touchpad" = { disable-while-typing = false; natural-scroll = false; tap-to-click = true; two-finger-scrolling-enabled = true; }; "org/gnome/desktop/wm/keybindings" = { close = [ "F4" ]; maximize = [ "Up" ]; move-to-monitor-down = [ "Down" ]; move-to-monitor-up = [ "Up" ]; move-to-workspace-1 = [ ]; move-to-workspace-down = [ "Page_Down" "Down" ]; move-to-workspace-last = [ ]; move-to-workspace-left = [ "Left" "Left" ]; move-to-workspace-right = [ "Right" "Right" ]; move-to-workspace-up = [ "Page_Up" "Up" ]; panel-main-menu = [ "F1" ]; switch-applications = [ ]; switch-applications-backward = [ ]; switch-to-workspace-1 = [ ]; switch-to-workspace-down = [ "Page_Down" "Down" ]; switch-to-workspace-last = [ ]; switch-to-workspace-left = [ "Left" "Left" ]; switch-to-workspace-right = [ "Right" "Right" ]; switch-to-workspace-up = [ "Page_Up" "Up" ]; switch-windows = [ "Tab" ]; switch-windows-backward = [ "Tab" ]; unmaximize = [ "Down" ]; }; "org/gnome/mutter/keybindings" = { switch-monitor = [ "XF86Display" ]; toggle-tiled-left = [ "Left" ]; toggle-tiled-right = [ "Right" ]; }; "org/gnome/shell/keybindings" = { screenshot = [ "Print" ]; show-screenshot-ui = [ "Print" ]; }; "org/gnome/settings-daemon/plugins/media-keys" = { area-screenshot = [ "Print" ]; area-screenshot-clip = [ "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/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom13/" ]; home = [ "e" ]; magnifier = [ "Escape" ]; magnifier-zoom-in = [ "plus" ]; magnifier-zoom-out = [ "minus" ]; next = [ "aring" ]; play = [ "p" ]; previous = [ "o" ]; screenshot = [ "Print" ]; screenshot-clip = [ "Print" ]; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = { binding = "t"; command = "lxterminal"; name = "Open Terminal"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1" = { binding = ""; command = "sh -c \"$HOME/.local/opt/center-window.sh\""; name = "Window to Center"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom10" = { binding = ""; command = "bash -c 'dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.Previous'"; name = "spotify prev"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom11" = { binding = "space"; command = "lxterminal -e nix repl ''"; name = "nixpkgs repl"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom12" = { binding = ""; command = "sh -c \"lxterminal -e python3 -i $HOME/.local/opt/sympy-interactive-imports.py\""; name = "Open SymPy terminal"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom13" = { binding = "Print"; command = "normcap"; name = "normcap OCR"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2" = { binding = ""; command = "sh -c \"$HOME/.local/opt/left-window.sh\""; name = "Window to Left"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom3" = { binding = ""; command = "sh -c \"$HOME/.local/opt/right-window.sh\""; name = "Window to Right"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom4" = { binding = ""; command = "sh -c \"$HOME/.local/opt/center-small-window.sh\""; name = "Window to Center Small"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom5" = { binding = "space"; command = "sh -c \"lxterminal -e `command -v ptpython || echo python3` -i $HOME/.local/opt/python-interactive-imports.py\""; name = "Open Python Terminal"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom6" = { command = "sh -c \"$HOME/.local/opt/toggle_decoration.sh\""; name = "Toggle window decorations"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom7" = { binding = ""; command = "sh -c \"$HOME/.local/opt/toggle_theme.sh\""; name = "Toggle gtk theme"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom8" = { binding = ""; command = "bash -c 'dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.PlayPause'"; name = "spotify play"; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom9" = { binding = ""; command = "bash -c 'dbus-send --print-reply --dest=org.mpris.MediaPlayer2.spotify /org/mpris/MediaPlayer2 org.mpris.MediaPlayer2.Player.next'"; name = "spotify next"; }; }; }