Makefile

UUID = zen@le0.gs
PACKFILE = $(UUID).shell-extension.zip

other = metadata.json
js = extension.js prefs.js src/*
schemas = schemas/*
pot = po/$(UUID).pot po/*

$(PACKFILE): $(other) $(js) $(schemas) $(pot)
	gnome-extensions pack . --extra-source=src --force

po/$(UUID).pot: $(js) $(schemas)
	xgettext --from-code=UTF-8 --output=$@ $^

.PHONY: develop install uninstall enable disable listen restart-shell

develop: install restart-shell

install: $(PACKFILE)
	gnome-extensions install $(PACKFILE) --force

uninstall:
	gnome-extensions uninstall $(UUID)

enable:
	gnome-extensions enable $(UUID)

disable:
	gnome-extensions disable $(UUID)

restart-shell:
	if systemctl --user is-active org.gnome.Shell@x11.service --quiet; then \
		pkill -HUP gnome-shell; \
	else \
		gnome-session-quit --logout; \
	fi

listen:
	journalctl -o cat -n 0 -f "$$(which gnome-shell)" | grep -v warning