diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-02-04 12:12:47 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-02-04 12:24:59 +0000 |
commit | e5880e50dc47cab3cba0520aa3b4e0a40a79935e (patch) | |
tree | 948ac2d075cce7609a664cb86e392187ea8d51ca /debian/rules | |
parent | Adding upstream version 20230204. (diff) | |
download | gnome-shell-extensions-extra-e5880e50dc47cab3cba0520aa3b4e0a40a79935e.tar.xz gnome-shell-extensions-extra-e5880e50dc47cab3cba0520aa3b4e0a40a79935e.zip |
Adding debian version 20230204-1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..502a881 --- /dev/null +++ b/debian/rules @@ -0,0 +1,35 @@ +#!/usr/bin/make -f + +%: + dh ${@} + +execute_after_dh_auto_clean: + # hibernate-status + $(MAKE) -C hibernate-status clean + +override_dh_auto_build: + # multi-monitors-add-on + UUID=$(shell awk -F\" '/"uuid": / { print $$4 }' multi-monitors-add-on/*/metadata.json); \ + cd multi-monitors-add-on && \ + for TRANSLATION in $${UUID}/locale/* ; do \ + msgfmt -cv -o $${TRANSLATION}/LC_MESSAGES/multi-monitors-add-on.mo \ + $${TRANSLATION}/LC_MESSAGES/multi-monitors-add-on.po; \ + done && \ + glib-compile-schemas --strict --targetdir=$${UUID}/schemas/ $${UUID}/schemas + +override_dh_auto_install: + mkdir -p debian/gnome-shell-extensions-extra/usr/share/gnome-shell/extensions + + # disable-workspace-switcher + UUID=$(shell awk -F\" '/"uuid": / { print $$4 }' disable-workspace-switcher/*/metadata.json); \ + cp -a disable-workspace-switcher/$${UUID} debian/gnome-shell-extensions-extra/usr/share/gnome-shell/extensions + + # hibernate-status + UUID=$(shell awk -F\" '/"uuid": / { print $$4 }' hibernate-status/metadata.json); \ + $(MAKE) -C hibernate-status DESTDIR=$(CURDIR)/debian/gnome-shell-extensions-extra install; \ + rm -f debian/gnome-shell-extensions-extra/usr/share/gnome-shell/extensions/$${UUID}/LICENSE; \ + rm -f debian/gnome-shell-extensions-extra/usr/share/gnome-shell/extensions/$${UUID}/README.md + + # multi-monitors-add-on + UUID=$(shell awk -F\" '/"uuid": / { print $$4 }' multi-monitors-add-on/*/metadata.json); \ + cp -a multi-monitors-add-on/$${UUID} debian/gnome-shell-extensions-extra/usr/share/gnome-shell/extensions/$${UUID} |