git: ed9cc579861c - main - deskutils/gnome-shell-extension-recent-items: fix runtime
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 18 May 2022 12:13:18 UTC
The branch main has been updated by rm:
URL: https://cgit.FreeBSD.org/ports/commit/?id=ed9cc579861c96e10e346a0ce9c5cae443df2ffe
commit ed9cc579861c96e10e346a0ce9c5cae443df2ffe
Author: Ruslan Makhmatkhanov <rm@FreeBSD.org>
AuthorDate: 2022-05-18 12:12:36 +0000
Commit: Ruslan Makhmatkhanov <rm@FreeBSD.org>
CommitDate: 2022-05-18 12:12:36 +0000
deskutils/gnome-shell-extension-recent-items: fix runtime
---
deskutils/gnome-shell-extension-recent-items/Makefile | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/deskutils/gnome-shell-extension-recent-items/Makefile b/deskutils/gnome-shell-extension-recent-items/Makefile
index c16358f3aa76..3519225a5f96 100644
--- a/deskutils/gnome-shell-extension-recent-items/Makefile
+++ b/deskutils/gnome-shell-extension-recent-items/Makefile
@@ -2,6 +2,7 @@
PORTNAME= gnome-shell-extension-recent-items
PORTVERSION= 40
+PORTREVISION= 1
CATEGORIES= deskutils gnome
DIST_SUBDIR= gnome3
@@ -23,6 +24,10 @@ PKGMESSAGE= ../gnome-shell-extra-extensions/pkg-message.slaves
NO_BUILD= yes
+post-patch:
+ @${REINPLACE_CMD} -e 's|"3.36", "40", "41"|"3.36", "40", "41", "42"|g' \
+ ${WRKSRC}/metadata.json
+
do-install:
@${MKDIR} ${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/RecentItems@bananenfisch.net
cd ${WRKSRC} && ${COPYTREE_SHARE} . \