sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 17:59:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

ShellEd is a superb shell script editor for Eclipse. The great benefit of

Browse source 
this plugin is the integration of man page information for content assist
and text hover.

WWW:	http://sourceforge.net/projects/shelled

PR:		ports/117174
Submitted by:	Sutra Zhou <zhoushuqun at gmail.com>
This commit is contained in:
Martin Wilke 2007-10-17 09:22:03 +00:00
parent 276a8d49e0
commit edb0d29c16
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=201602
4 changed files with 53 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
java/Makefile
View file

@ -39,6 +39,7 @@
SUBDIR += eclipse-pmd
SUBDIR += eclipse-propedit
SUBDIR += eclipse-quantum
SUBDIR += eclipse-shelled
SUBDIR += eclipse-sqlexplorer
SUBDIR += eclipse-sysdeo-tomcat
SUBDIR += eclipse-uml

44
java/eclipse-shelled/Makefile Normal file
View file

@ -0,0 +1,44 @@
# New ports collection makefile for: eclipse-shelled
# Date created: 14 October 2007
# Whom: Sutra Zhou <zhoushuqun@gmail.com>
#
# $FreeBSD$
#
PORTNAME= ShellEd
PORTVERSION= 1.0.2a
CATEGORIES= java devel
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= shelled
PKGNAMEPREFIX= eclipse-
DISTNAME= shelled_${PORTVERSION}
DIST_SUBDIR= eclipse
MAINTAINER= zhoushuqun@gmail.com
COMMENT= ShellEd is a superb shell script editor for Eclipse
RUN_DEPENDS= eclipse:${PORTSDIR}/java/eclipse
NO_BUILD= yes
NO_WRKSUBDIR= yes
USE_ZIP= yes
USE_JAVA= yes
JAVA_VERSION= 1.4+
JAVA_OS= native
do-install:
@${MKDIR} ${WRKSRC}/eclipse
@${MV} ${WRKSRC}/plugins ${WRKSRC}/eclipse/plugins
@${MV} ${WRKSRC}/features ${WRKSRC}/eclipse/features
@${MKDIR} ${PREFIX}/eclipse
@${CP} -r ${WRKSRC}/eclipse/plugins ${PREFIX}/eclipse
@${CP} -r ${WRKSRC}/eclipse/features ${PREFIX}/eclipse
@(cd ${WRKSRC}; ${FIND} -s eclipse/features eclipse/plugins -not -type d) >> ${TMPPLIST}
@(cd ${WRKSRC}; ${FIND} -s -d eclipse/features eclipse/plugins -type d) \
| ${GREP} -vE 'eclipse/plugins$$|eclipse/features$$' \
| ${SED} -ne 's,^,@dirrm ,p' >> ${TMPPLIST}
@${MV} ${WRKSRC}/eclipse/plugins ${WRKSRC}/plugins
@${MV} ${WRKSRC}/eclipse/features ${WRKSRC}/features
@${RM} -rf ${WRKSRC}/eclipse
.include <bsd.port.mk>

3
java/eclipse-shelled/distinfo Normal file
View file

@ -0,0 +1,3 @@
MD5 (eclipse/shelled_1.0.2a.zip) = c25058bc8aa1755b3fa84f62eaab2d7f
SHA256 (eclipse/shelled_1.0.2a.zip) = 0da01fed1be9454dcef6c5b9afa5f592d1834bbaa8f1b911caeae191f3d3e0dc
SIZE (eclipse/shelled_1.0.2a.zip) = 4447390

5
java/eclipse-shelled/pkg-descr Normal file
View file

@ -0,0 +1,5 @@
ShellEd is a superb shell script editor for Eclipse. The great benefit of
this plugin is the integration of man page information for content assist
and text hover.
WWW: http://sourceforge.net/projects/shelled