diff options
| author | Raul Benencia <raul@thousandeyes.com> | 2026-06-08 15:54:44 -0300 |
|---|---|---|
| committer | Raul Benencia <raul@thousandeyes.com> | 2026-06-08 15:54:44 -0300 |
| commit | 004ca22929e89d86c1f436a7177542c3e0089bbc (patch) | |
| tree | 7b092a1880fd4c59e01e9e6a133fe516fe3ac166 /bin | |
| parent | 78bd99fc048d4c110fcd206853d72a82bd747ffa (diff) | |
gnome: retire rofi to switch apps
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/gnome-set-config | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/bin/gnome-set-config b/bin/gnome-set-config index d1f8cb6..0a05ad7 100755 --- a/bin/gnome-set-config +++ b/bin/gnome-set-config @@ -81,7 +81,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 rofi-run" +bindings="emacs org-mode move-windows 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]" @@ -100,14 +100,11 @@ dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/mov dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/move-windows/command "'$HOME/bin/gnome-move-windows'" dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/move-windows/name "'move-windows'" -# Disable default for <Super>space. +# Disable default for input-source switching. Leave <Super>space available +# for the GNOME Switcher extension. gsettings set org.gnome.desktop.wm.keybindings switch-input-source "[]" 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 "'$HOME/bin/gnome-window-switcher'" -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_CMD -show run'" dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/rofi-run/name "'rofi-run'" |