| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/deskutils/gnome-shell-extension-filesmenu/ |
Upload File : |
PORTNAME= gnome-shell-extension-filesmenu
PORTVERSION= 0.0.0.20171125
PORTREVISION= 1
CATEGORIES= deskutils gnome
DIST_SUBDIR= gnome
MAINTAINER= gnome@FreeBSD.org
COMMENT= Quickly navigate your file system
WWW= https://github.com/bertoldia/files-menu
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= gnome-shell>=0:x11/gnome-shell \
gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas
RUN_DEPENDS= gnome-shell>=0:x11/gnome-shell \
gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas
USES= gettext gmake gnome localbase pkgconfig
USE_GNOME= glib20
USE_GITHUB= yes
GH_ACCOUNT= bertoldia
GH_PROJECT= files-menu
GH_TAGNAME= 10c13c8
PKGMESSAGE= ../gnome-shell-extra-extensions/pkg-message.slaves
NO_BUILD= yes
post-patch:
@${REINPLACE_CMD} -e 's|"3.26",|"3.28","3.26",|g' \
${WRKSRC}/metadata.json
@${RM} ${WRKSRC}/metadata.json.bak
do-install:
@${MKDIR} ${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/gnome-shell-files-menu
@cd ${WRKSRC} && ${COPYTREE_SHARE} . \
${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/gnome-shell-files-menu
.include <bsd.port.mk>