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

nixpkgs repl binding

This commit is contained in:
Peder Bergebakken Sundt 2023-10-29 16:46:43 +01:00
parent 781ad95354
commit eadd08bdee
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -44,7 +44,7 @@ with lib.hm.gvariant;
"org/gnome/settings-daemon/plugins/media-keys" = { "org/gnome/settings-daemon/plugins/media-keys" = {
area-screenshot = [ "<Primary><Shift>Print" ]; area-screenshot = [ "<Primary><Shift>Print" ];
area-screenshot-clip = [ "<Primary>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/" ]; 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" ]; home = [ "<Super>e" ];
magnifier = [ "<Super>Escape" ]; magnifier = [ "<Super>Escape" ];
magnifier-zoom-in = [ "<Super>plus" ]; magnifier-zoom-in = [ "<Super>plus" ];
@ -75,13 +75,13 @@ with lib.hm.gvariant;
}; };
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom11" = { "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom11" = {
binding = ""; binding = "<Shift><Control>space";
command = "sh -c \"$HOME/.local/opt/toggle_sticky.sh\""; command = "lxterminal -e nix repl '<nixpkgs>'";
name = "Toggle stickyness"; name = "nixpkgs repl";
}; };
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom12" = { "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom12" = {
binding = "<Primary><Shift>space"; binding = "";
command = "sh -c \"lxterminal -e python3 -i $HOME/.local/opt/sympy-interactive-imports.py\""; command = "sh -c \"lxterminal -e python3 -i $HOME/.local/opt/sympy-interactive-imports.py\"";
name = "Open SymPy terminal"; name = "Open SymPy terminal";
}; };