#!/usr/bin/make -f EXTENSION := $(shell awk -F\" '/"uuid": / { print $$4 }' metadata.json) %: dh ${@} override_dh_auto_install: mkdir -p debian/gnome-shell-extension-no-overview/usr/share/gnome-shell/extensions/$(EXTENSION) cp -a extension.js metadata.json debian/gnome-shell-extension-no-overview/usr/share/gnome-shell/extensions/$(EXTENSION) override_dh_gencontrol: dh_gencontrol -- \ -Vgnome:MinimumVersion=$(shell python3 -c "import json; print(min(int(x) for x in json.load(open('metadata.json', 'rt'))['shell-version']))") \ -Vgnome:MaximumVersion=$(shell python3 -c "import json; print(1+max(int(x) for x in json.load(open('metadata.json', 'rt'))['shell-version']))")