mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-26 09:46:09 +00:00
Add xpi-web_developer 1.0.2, an extension to add various web developer
tools. PR: ports/96882 Submitted by: chinsan <chinsan.tw@gmail.com>
This commit is contained in:
parent
9b586f478b
commit
cb163f5c62
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=161585
@ -983,6 +983,7 @@
|
||||
SUBDIR += xpi-server_switcher
|
||||
SUBDIR += xpi-tabmixplus
|
||||
SUBDIR += xpi-unplug
|
||||
SUBDIR += xpi-web_developer
|
||||
SUBDIR += xshttpd
|
||||
SUBDIR += xshttpd-devel
|
||||
SUBDIR += xulrunner
|
||||
|
22
www/xpi-web_developer/Makefile
Normal file
22
www/xpi-web_developer/Makefile
Normal file
@ -0,0 +1,22 @@
|
||||
# New ports collection makefile for: xpi-web_developer
|
||||
# Date created: 2006/05/06
|
||||
# Whom: chinsan <chinsan.tw@gmail.com>
|
||||
#
|
||||
# $FreeBSD$
|
||||
#
|
||||
|
||||
PORTNAME= web_developer
|
||||
PORTVERSION= 1.0.2
|
||||
DISTVERSIONSUFFIX= -fx+fl
|
||||
CATEGORIES= www
|
||||
|
||||
MAINTAINER= chinsan.tw@gmail.com
|
||||
COMMENT= An extension to add various web developer tools
|
||||
|
||||
XPI_ID= {c45c406e-ab73-11d8-be73-000a95be3b12}
|
||||
XPI_FILES= chrome/webdeveloper.jar chrome.manifest install.js \
|
||||
install.rdf license.txt
|
||||
XPI_DIRS= chrome
|
||||
|
||||
.include "../xpi-adblock/Makefile.xpi"
|
||||
.include <bsd.port.mk>
|
3
www/xpi-web_developer/distinfo
Normal file
3
www/xpi-web_developer/distinfo
Normal file
@ -0,0 +1,3 @@
|
||||
MD5 (xpi/web_developer-1.0.2-fx+fl.xpi) = ed530fc64106089d817048119e1e41cf
|
||||
SHA256 (xpi/web_developer-1.0.2-fx+fl.xpi) = deaf6c3219745ea53a22e9b06cbc26de9b088ab42b816c01d0451ebc83b6357e
|
||||
SIZE (xpi/web_developer-1.0.2-fx+fl.xpi) = 148819
|
3
www/xpi-web_developer/pkg-descr
Normal file
3
www/xpi-web_developer/pkg-descr
Normal file
@ -0,0 +1,3 @@
|
||||
Adds a menu and a toolbar with various web developer tools.
|
||||
|
||||
WWW: https://addons.mozilla.org/firefox/60/
|
Loading…
Reference in New Issue
Block a user