#!/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"