diff options
| author | Raul Benencia <raul@thousandeyes.com> | 2026-06-08 12:51:07 -0300 |
|---|---|---|
| committer | Raul Benencia <raul@thousandeyes.com> | 2026-06-08 12:52:18 -0300 |
| commit | 9ea3834018ff0460a11e7b3ca65fd0b4ac511990 (patch) | |
| tree | e7a5cefc228ecca23b8fe42ae658a6dfe26951d2 /bin/gnome-set-config | |
| parent | ef022a8bdd4063f83f8d5b5b53bf89b90aef7443 (diff) | |
gnome-set-config: use gnome-window-switcher wrapper and install workspace-router-cli
Diffstat (limited to 'bin/gnome-set-config')
| -rwxr-xr-x | bin/gnome-set-config | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/bin/gnome-set-config b/bin/gnome-set-config index 509d542..d1f8cb6 100755 --- a/bin/gnome-set-config +++ b/bin/gnome-set-config @@ -5,6 +5,7 @@ NUM_WORKSPACES=9 WORKSPACE_ROUTER_UUID=workspace-router@rbenencia.name +WORKSPACE_ROUTER_CLI_UUID=workspace-router-cli@rbenencia.name ORG_AGENDA_INDICATOR_UUID=org-agenda-indicator@rbenencia.name ensure_extension_enabled() { @@ -49,11 +50,24 @@ PY fi } +reload_extension() { + uuid="$1" + + if ! command -v gnome-extensions >/dev/null 2>&1; then + return 0 + fi + + gnome-extensions disable "$uuid" >/dev/null 2>&1 || true + gnome-extensions enable "$uuid" >/dev/null 2>&1 || true +} + gsettings set org.gnome.mutter dynamic-workspaces false gsettings set org.gnome.desktop.wm.preferences num-workspaces $NUM_WORKSPACES ensure_extension_enabled "$WORKSPACE_ROUTER_UUID" +ensure_extension_enabled "$WORKSPACE_ROUTER_CLI_UUID" ensure_extension_enabled "$ORG_AGENDA_INDICATOR_UUID" +reload_extension "$WORKSPACE_ROUTER_CLI_UUID" ROFI_CMD="$HOME/bin/rofi" @@ -83,7 +97,7 @@ dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/org dconf write /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/org-mode/name "'org-capture'" 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/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. @@ -91,7 +105,7 @@ 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 "'$ROFI_CMD -show window'" +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'" |