UUID := user-switcher@felixfoertsch.de EXT_DIR := $(HOME)/.local/share/gnome-shell/extensions/$(UUID) .PHONY: install install-shell uninstall test package package-release check-release enable disable install: mkdir -p "$(EXT_DIR)" cp metadata.json extension.js "$(EXT_DIR)/" if [ -d locale ]; then cp -r locale "$(EXT_DIR)/"; fi @echo "Installed to $(EXT_DIR)" install-shell: package gnome-extensions install --force "dist/$(UUID).shell-extension.zip" @echo "Installed via gnome-extensions CLI" uninstall: rm -rf "$(EXT_DIR)" @echo "Removed $(EXT_DIR)" test: bash tests/smoke.sh bash tests/release-smoke.sh package: mkdir -p dist gnome-extensions pack --force --out-dir dist . package-release: bash scripts/build-release.sh check-release: bash tests/release-smoke.sh enable: gnome-extensions enable "$(UUID)" disable: gnome-extensions disable "$(UUID)"