# Description: Java programmer's text editor # URL: http://www.jedit.org # Maintainer: Simone Rota, sip at crux dot nu # Packager: Simone Rota, sip at crux dot nu # Depends on: jre, unzip name=jedit version=4.2 release=4 source=(http://dl.sourceforge.net/sourceforge/jedit/jedit42install.jar) build() { mkdir -p $PKG/usr/lib/jedit mkdir -p $PKG/usr/bin unzip jedit42install.jar cd installer tar xvfj jedit-program.tar.bz2 -C $PKG/usr/lib/jedit tar xvfj jedit-macros.tar.bz2 -C $PKG/usr/lib/jedit tar xvfj jedit-api.tar.bz2 -C $PKG/usr/lib/jedit rm -r $PKG/usr/lib/jedit/doc find $PKG/usr/lib/jedit -type f -exec chmod 644 {} \; cat << "EOF" > $PKG/usr/bin/jedit #!/bin/bash JAVA_HEAP_SIZE=32 exec /usr/lib/java/bin/java -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar /usr/lib/jedit/jedit.jar $@ EOF chmod 0755 $PKG/usr/bin/jedit chown root.root $PKG -R }