git: 58ceaf88f95a - main - deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 18 Jun 2023 10:17:04 UTC
The branch main has been updated by rene:
URL: https://cgit.FreeBSD.org/ports/commit/?id=58ceaf88f95a38f4c9af0bd88dee55d91d527d70
commit 58ceaf88f95a38f4c9af0bd88dee55d91d527d70
Author: Rene Ladan <rene@FreeBSD.org>
AuthorDate: 2023-06-18 10:15:48 +0000
Commit: Rene Ladan <rene@FreeBSD.org>
CommitDate: 2023-06-18 10:16:56 +0000
deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"
This reverts commit 1a28b64446114a264f87e488cf62c934a53c7015.
Both extensions have PRs to revive them.
---
deskutils/gnome-shell-extra-extensions/Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/deskutils/gnome-shell-extra-extensions/Makefile b/deskutils/gnome-shell-extra-extensions/Makefile
index eb0e204a1abd..b397430dee10 100644
--- a/deskutils/gnome-shell-extra-extensions/Makefile
+++ b/deskutils/gnome-shell-extra-extensions/Makefile
@@ -1,6 +1,6 @@
PORTNAME= gnome-shell-extra-extensions
PORTVERSION= 3.28
-PORTREVISION= 3
+PORTREVISION= 2
CATEGORIES= deskutils gnome
MAINTAINER= gnome@FreeBSD.org
@@ -9,6 +9,8 @@ COMMENT= Gnome shell extra extensions metaport
USES= metaport
RUN_DEPENDS= gnome-shell-extension-weather>=0:deskutils/gnome-shell-extension-weather \
+ gnome-shell-extension-openweather>=0:deskutils/gnome-shell-extension-openweather \
+ gnome-shell-extension-panel-osd>=0:deskutils/gnome-shell-extension-panel-osd \
gnome-shell-extension-mediaplayer>=0:deskutils/gnome-shell-extension-mediaplayer \
gnome-shell-extension-coverflow>=0:deskutils/gnome-shell-extension-coverflow \
gnome-shell-extension-windowoverlay-icons>=0:deskutils/gnome-shell-extension-windowoverlay-icons \