* [PR PATCH] gnome-shell-mousewheel-zoom: remove package
@ 2021-08-17 20:21 paper42
2021-08-17 22:15 ` [PR PATCH] [Updated] " paper42
2021-08-17 22:17 ` [PR PATCH] [Merged]: " paper42
0 siblings, 2 replies; 3+ messages in thread
From: paper42 @ 2021-08-17 20:21 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 398 bytes --]
There is a new pull request by paper42 against master on the void-packages repository
https://github.com/paper42/void-packages drop-gnome-shell-mousewheel-zoom
https://github.com/void-linux/void-packages/pull/32554
gnome-shell-mousewheel-zoom: remove package
* inactive
* doesn't work with current GNOME
A patch file from https://github.com/void-linux/void-packages/pull/32554.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-drop-gnome-shell-mousewheel-zoom-32554.patch --]
[-- Type: text/x-diff, Size: 2202 bytes --]
From 2fa5428b59295edf00da4572a0c68fb34104f1ef Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Tue, 17 Aug 2021 22:18:12 +0200
Subject: [PATCH 1/2] gnome-shell-mousewheel-zoom: remove package
* inactive
* doesn't work with current GNOME
---
srcpkgs/gnome-shell-mousewheel-zoom/template | 23 --------------------
1 file changed, 23 deletions(-)
delete mode 100644 srcpkgs/gnome-shell-mousewheel-zoom/template
diff --git a/srcpkgs/gnome-shell-mousewheel-zoom/template b/srcpkgs/gnome-shell-mousewheel-zoom/template
deleted file mode 100644
index 6e225e6aad9c..000000000000
--- a/srcpkgs/gnome-shell-mousewheel-zoom/template
+++ /dev/null
@@ -1,23 +0,0 @@
-# Template file for 'gnome-shell-mousewheel-zoom'
-pkgname=gnome-shell-mousewheel-zoom
-version=0.8.0
-revision=2
-wrksrc=gnome-shell-mousewheel-zoom-upstream-0.8.0
-hostmakedepends="vala pkg-config"
-makedepends="libglib-devel libX11-devel"
-depends="gnome-shell"
-short_desc="Enable mousewheel zoom using left-alt key using gnome-shell"
-maintainer="Orphaned <orphan@voidlinux.org>"
-license="GPL-3.0-or-later"
-homepage="https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom"
-distfiles="https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom/archive/upstream/${version}.tar.gz"
-checksum=5f57affb89ef5091d94e03f7c074e0dc89da7952efbb399d4a7bf2b0848d8a40
-nopie=yes
-
-do_build() {
- make -f makefile
-}
-
-do_install() {
- make -f makefile DESTDIR=$DESTDIR install
-}
From 11ad1a15a984f807d414d09f8fbc1f1881f0f891 Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Tue, 17 Aug 2021 22:19:25 +0200
Subject: [PATCH 2/2] removed-packages: remove gnome-shell-mousewheel-zoom
---
srcpkgs/removed-packages/template | 1 +
1 file changed, 1 insertion(+)
diff --git a/srcpkgs/removed-packages/template b/srcpkgs/removed-packages/template
index 2bba802eef79..3565931e6fa4 100644
--- a/srcpkgs/removed-packages/template
+++ b/srcpkgs/removed-packages/template
@@ -74,6 +74,7 @@ replaces="
glibmm-doc<=2.64.2_2
gnome-getting-started-docs<=3.38.1_1
gnome-twitch<=0.4.2_1
+ gnome-shell-mousewheel-zoom<=0.8.0_2
go1.4-bootstrap<=20171003_2
goat<=0.0.0.28022016_10
goffice0.8<=0.8.17_6
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PR PATCH] [Updated] gnome-shell-mousewheel-zoom: remove package
2021-08-17 20:21 [PR PATCH] gnome-shell-mousewheel-zoom: remove package paper42
@ 2021-08-17 22:15 ` paper42
2021-08-17 22:17 ` [PR PATCH] [Merged]: " paper42
1 sibling, 0 replies; 3+ messages in thread
From: paper42 @ 2021-08-17 22:15 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 403 bytes --]
There is an updated pull request by paper42 against master on the void-packages repository
https://github.com/paper42/void-packages drop-gnome-shell-mousewheel-zoom
https://github.com/void-linux/void-packages/pull/32554
gnome-shell-mousewheel-zoom: remove package
* inactive
* doesn't work with current GNOME
A patch file from https://github.com/void-linux/void-packages/pull/32554.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-drop-gnome-shell-mousewheel-zoom-32554.patch --]
[-- Type: text/x-diff, Size: 2199 bytes --]
From db779e1371333dfb1affddfed4e752ac606ee673 Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Tue, 17 Aug 2021 22:18:12 +0200
Subject: [PATCH 1/2] gnome-shell-mousewheel-zoom: remove package
* inactive
* doesn't work with current GNOME
---
srcpkgs/gnome-shell-mousewheel-zoom/template | 23 --------------------
1 file changed, 23 deletions(-)
delete mode 100644 srcpkgs/gnome-shell-mousewheel-zoom/template
diff --git a/srcpkgs/gnome-shell-mousewheel-zoom/template b/srcpkgs/gnome-shell-mousewheel-zoom/template
deleted file mode 100644
index 6e225e6aad9c..000000000000
--- a/srcpkgs/gnome-shell-mousewheel-zoom/template
+++ /dev/null
@@ -1,23 +0,0 @@
-# Template file for 'gnome-shell-mousewheel-zoom'
-pkgname=gnome-shell-mousewheel-zoom
-version=0.8.0
-revision=2
-wrksrc=gnome-shell-mousewheel-zoom-upstream-0.8.0
-hostmakedepends="vala pkg-config"
-makedepends="libglib-devel libX11-devel"
-depends="gnome-shell"
-short_desc="Enable mousewheel zoom using left-alt key using gnome-shell"
-maintainer="Orphaned <orphan@voidlinux.org>"
-license="GPL-3.0-or-later"
-homepage="https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom"
-distfiles="https://github.com/tobiasquinn/gnome-shell-mousewheel-zoom/archive/upstream/${version}.tar.gz"
-checksum=5f57affb89ef5091d94e03f7c074e0dc89da7952efbb399d4a7bf2b0848d8a40
-nopie=yes
-
-do_build() {
- make -f makefile
-}
-
-do_install() {
- make -f makefile DESTDIR=$DESTDIR install
-}
From 013af235d067ecc1a08f503bfd9298395affaeea Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Tue, 17 Aug 2021 22:19:25 +0200
Subject: [PATCH 2/2] removed-packages: add gnome-shell-mousewheel-zoom
---
srcpkgs/removed-packages/template | 1 +
1 file changed, 1 insertion(+)
diff --git a/srcpkgs/removed-packages/template b/srcpkgs/removed-packages/template
index 2bba802eef79..3565931e6fa4 100644
--- a/srcpkgs/removed-packages/template
+++ b/srcpkgs/removed-packages/template
@@ -74,6 +74,7 @@ replaces="
glibmm-doc<=2.64.2_2
gnome-getting-started-docs<=3.38.1_1
gnome-twitch<=0.4.2_1
+ gnome-shell-mousewheel-zoom<=0.8.0_2
go1.4-bootstrap<=20171003_2
goat<=0.0.0.28022016_10
goffice0.8<=0.8.17_6
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PR PATCH] [Merged]: gnome-shell-mousewheel-zoom: remove package
2021-08-17 20:21 [PR PATCH] gnome-shell-mousewheel-zoom: remove package paper42
2021-08-17 22:15 ` [PR PATCH] [Updated] " paper42
@ 2021-08-17 22:17 ` paper42
1 sibling, 0 replies; 3+ messages in thread
From: paper42 @ 2021-08-17 22:17 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 222 bytes --]
There's a merged pull request on the void-packages repository
gnome-shell-mousewheel-zoom: remove package
https://github.com/void-linux/void-packages/pull/32554
Description:
* inactive
* doesn't work with current GNOME
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-08-17 22:17 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-17 20:21 [PR PATCH] gnome-shell-mousewheel-zoom: remove package paper42
2021-08-17 22:15 ` [PR PATCH] [Updated] " paper42
2021-08-17 22:17 ` [PR PATCH] [Merged]: " paper42
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).