sync current state

2026-03-01 11:44:02 +01:00
commit 7b52914920
18 changed files with 1137 additions and 0 deletions
@@ -0,0 +1,38 @@
+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)"