diff --git a/debian/changelog b/debian/changelog index ce5fffda..64cde6bd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -22,8 +22,11 @@ gnome-shell-extensions (3.2.0-1) UNRELEASED; urgency=low - patch_4c5a36e4c0cbe38f2e26b6b3c8b02e88b4b939f7.diff patch_2bba98d6214cffae2eb5cecb9d7c1f6b6d244052.diff systemMonitor: Properly enable/disable + * debian/patches + - fix_dock_gnome-shell_version.diff * debian/rules - EXTENSIONS_ENABLED, EXTENSIONS_DISABLED variables + - disabled xrandr-indicator [ Michael Biebl ] * debian/watch: Track .xz tarballs. diff --git a/debian/patches/fix_dock_gnome-shell_version.diff b/debian/patches/fix_dock_gnome-shell_version.diff new file mode 100644 index 00000000..c5cf47a2 --- /dev/null +++ b/debian/patches/fix_dock_gnome-shell_version.diff @@ -0,0 +1,11 @@ +--- a/extensions/dock/metadata.json.in ++++ b/extensions/dock/metadata.json.in +@@ -3,7 +3,7 @@ + "name": "Dock", + "description": "A dock for the GNOME Shell -- displays favorite and running applications", + "original-author": "tclaesson@gmail.com", +-"shell-version": [ "@shell_current@" ], ++"shell-version": [ "3.2" ], + "localedir": "@LOCALEDIR@", + "url": "@url@" + } diff --git a/debian/patches/series b/debian/patches/series index 27bc6875..083707a0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,3 +2,4 @@ upstream/patch_967aee7aad2accfb38d91ab56b6c5e91d86a2722.diff upstream/patch_66242aa76a5d59fb4659551575c1fbb42e50b8fb.diff upstream/patch_4c5a36e4c0cbe38f2e26b6b3c8b02e88b4b939f7.diff upstream/patch_2bba98d6214cffae2eb5cecb9d7c1f6b6d244052.diff +fix_dock_gnome-shell_version.diff diff --git a/debian/rules b/debian/rules index fae3c403..422fd130 100755 --- a/debian/rules +++ b/debian/rules @@ -7,7 +7,7 @@ include /usr/share/gnome-pkg-tools/1/rules/uploaders.mk EXTENSIONS_ENABLED="alternate-tab auto-move-windows workspace-indicator\ alternative-status-menu dock gajim native-window-placement user-theme\ - apps-menu drive-menu places-menu windowsNavigator" -EXTENSIONS_DISABLED="systemMonitor xrandr-indicator" + apps-menu drive-menu places-menu windowsNavigator systemMonitor" +EXTENSIONS_DISABLED="xrandr-indicator" DEB_CONFIGURE_EXTRA_FLAGS := --enable-extensions=$(EXTENSIONS_ENABLED)