From 9ea3834018ff0460a11e7b3ca65fd0b4ac511990 Mon Sep 17 00:00:00 2001 From: Raul Benencia Date: Mon, 8 Jun 2026 12:51:07 -0300 Subject: gnome-set-config: use gnome-window-switcher wrapper and install workspace-router-cli --- bin/gnome-set-config | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) (limited to 'bin') 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 "'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 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 "'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 "'f2'" -- cgit v1.2.3