Move to Federated Gitea

gnome/gnome-extensions.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+source "$SCRIPT_DIR/../utils.sh"
+
+PYTHON="$(which python3)"
+
+install_packages python-pipx gnome-shell-extensions
+
+# Install or reinstall gext if missing or broken
+if ! ~/.local/bin/gext --version &> /dev/null; then
+  echo "gext missing or broken, reinstalling..."
+  pipx uninstall gnome-extensions-cli 2>/dev/null || true
+  pipx install --python "$PYTHON" gnome-extensions-cli --system-site-packages
+fi
+
+EXTENSIONS=(
+  "tilingshell@ferrarodomenico.com"
+)
+
+echo "Detected GNOME Shell version: $(gnome-shell --version)"
+
+for ext in "${EXTENSIONS[@]}"; do
+  if ~/.local/bin/gext list | grep -q "$ext"; then
+    echo "Extension already installed: $ext"
+    continue
+  fi
+
+  echo "Installing extension: $ext..."
+  ~/.local/bin/gext install "$ext"
+  ~/.local/bin/gext enable "$ext"
+  echo "  Installed and enabled: $ext"
+done
+
+# Load settings from dconf file
+dconf load /org/gnome/shell/extensions/ < "$SCRIPT_DIR/gnome-settings.dconf"