143 lines
6.3 KiB
Nix
143 lines
6.3 KiB
Nix
# 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/wm/keybindings" = {
|
|
close = [ "<Alt>F4" ];
|
|
maximize = [ "<Super>Up" ];
|
|
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-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" ];
|
|
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-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-windows = [ "<Alt>Tab" ];
|
|
switch-windows-backward = [ "<Shift><Alt>Tab" ];
|
|
unmaximize = [ "<Super>Down" ];
|
|
};
|
|
|
|
"org/gnome/mutter/keybindings" = {
|
|
switch-monitor = [ "XF86Display" ];
|
|
toggle-tiled-left = [ "<Super>Left" ];
|
|
toggle-tiled-right = [ "<Super>Right" ];
|
|
};
|
|
|
|
"org/gnome/shell/keybindings" = {
|
|
screenshot = [ "Print" ];
|
|
show-screenshot-ui = [ "<Control>Print" ];
|
|
};
|
|
|
|
"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/" ];
|
|
home = [ "<Super>e" ];
|
|
magnifier = [ "<Super>Escape" ];
|
|
magnifier-zoom-in = [ "<Super>plus" ];
|
|
magnifier-zoom-out = [ "<Super>minus" ];
|
|
next = [ "<Super>aring" ];
|
|
play = [ "<Alt>p" ];
|
|
previous = [ "<Super>o" ];
|
|
screenshot = [ "<Shift>Print" ];
|
|
screenshot-clip = [ "Print" ];
|
|
};
|
|
|
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
|
|
binding = "<Primary><Alt>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 = "<Shift><Control>space";
|
|
command = "lxterminal -e nix repl '<nixpkgs>'";
|
|
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/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 = "<Primary><Alt>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";
|
|
};
|
|
|
|
};
|
|
}
|