39 lines
879 B
Makefile
39 lines
879 B
Makefile
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)"
|