diff options
| author | Raúl Benencia <id@rbenencia.name> | 2025-05-14 08:20:57 -0700 |
|---|---|---|
| committer | Raúl Benencia <id@rbenencia.name> | 2025-05-14 08:27:10 -0700 |
| commit | a26e913dff65944c4082e34dec8fa906359a37b0 (patch) | |
| tree | 4dd44f1a158a2897bab587fc8a120ead4b67795d /bin | |
| parent | 74e2e7fadfcce137c72ef3d28e99c5c1b91a0cba (diff) | |
gnome-set-config: rofi-run
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 15771d7..69a2b44 100755 --- a/bin/gnome-set-config +++ b/bin/gnome-set-config @@ -18,7 +18,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 rofi" +bindings="emacs org-mode move-windows rofi rofi-run" 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]" @@ -44,3 +44,7 @@ gsettings set org.gnome.desktop.wm.keybindings switch-input-source-backward '[]' 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'" + +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/binding "'<Super>f2'" +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/command "'rofi -show run'" +dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/name "'rofi-run'" |