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