diff options
author | Raúl Benencia <id@rbenencia.name> | 2024-10-18 08:14:43 -0700 |
---|---|---|
committer | Raúl Benencia <id@rbenencia.name> | 2024-10-18 08:15:39 -0700 |
commit | e1cf92bd8a71b6afe8b02cd90ccf6d075fe654d3 (patch) | |
tree | 044e123d432c4ae656e833ca7bcdbb8dabedf07b /bin | |
parent | 0d77a273bcf22f660b758402b2841020bd782552 (diff) |
gnome: add rofi config
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/gnome-set-config | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/gnome-set-config b/bin/gnome-set-config index 84c3319..07ef21e 100755 --- a/bin/gnome-set-config +++ b/bin/gnome-set-config @@ -15,7 +15,7 @@ for i in $(seq 1 $NUM_WORKSPACES); do done # This configuration is not present in gsettings; we need to fall back to dconf -bindings="emacs org-mode move-windows" +bindings="emacs org-mode move-windows rofi" keybindings_key="/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings" keybindings=$(echo $bindings | awk -v key="$keybindings_key" '{for(i=1;i<=NF;i++) printf("'\''" key "/" $i "/'\''%s", (i==NF ? "" : ","))}') keybindings="[$keybindings]" @@ -33,3 +33,7 @@ dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/org dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/move-windows/binding "'<Shift><Super>m'" dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/move-windows/command "'gnome-move-windows'" dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/move-windows/name "'move-windows'" + +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/binding "'<Super>space'" +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/command "'rofi -show window'" +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi/name "'rofi'" |