jedit: add new package to [libre]

6 files changed, 197 insertions, 0 deletions

diff --git a/libre/jedit/PKGBUILD b/libre/jedit/PKGBUILD
new file mode 100644
index 000000000..bd6dfab86
--- /dev/null
+++ b/libre/jedit/PKGBUILD
@@ -0,0 +1,92 @@
+# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe>
+
+pkgname=jedit
+pkgver=5.3.0
+pkgrel=1.parabola1
+pkgdesc='Text editor for programmers'
+arch=('any')
+url='http://www.jedit.org/'
+license=('GPL')
+depends=('java-runtime')
+makedepends=('apache-ant' 'apache-ant-contrib' 'apache-ivy' 'beanshell2'
+             'gendesk' 'java-hamcrest' 'jsr305' 'junit')
+optdepends=('java-environment: for java development'
+            'ttf-fira-mono: usable font')
+options=('!emptydirs')
+install=$pkgname.install
+source=("http://sourceforge.net/projects/$pkgname/files/$pkgname/$pkgver/jedit${pkgver}source.tar.bz2"
+        'jedit.sh'
+        'jeditbg.sh'
+        'jedit.props'
+        'jedit-fix_build.patch')
+sha256sums=('8d56d036be4dd45254748f063ade01293b862a615cdff6aed274ab58085f6304'
+            'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a'
+            'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
+            '1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b'
+            '6e582bf78458783fcc620d2a850474d2eb787ecf2e3950031ec4bdda48cafeb9')
+
+prepare() {
+  gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \
+    --name 'jEdit' --genericname 'Editor'
+
+  cd jEdit
+  mkdir -p lib/{ant-contrib,compile,ivy,default-plugins,scripting,test}
+  ln -sf /usr/share/java/ant-contrib.jar lib/ant-contrib/ant-contrib.jar
+  ln -sf /usr/share/java/bsh.jar lib/ant-contrib/bsh.jar
+  ln -sf /usr/share/java/hamcrest-core.jar lib/test/hamcrest-core.jar
+  ln -sf /usr/share/java/hamcrest-library.jar lib/test/hamcrest-library.jar
+  ln -sf /usr/share/java/jsr305.jar lib/compile/jsr305.jar
+  ln -sf /usr/share/java/junit.jar lib/test/junit.jar
+  patch -Np1 -i "${srcdir}/jedit-fix_build.patch"
+}
+
+build() {
+  cd jEdit
+  ant build \
+    -lib /usr/share/java/apache-ivy/ivy.jar \
+    -Divy.done=true
+}
+
+package() {
+  cd jEdit
+
+  # Install license file
+  install -Dm644 doc/COPYING.txt "$pkgdir/usr/share/licenses/$pkgname/COPYING.txt"
+  install -Dm644 doc/COPYING.PLUGINS.txt "$pkgdir/usr/share/licenses/$pkgname/COPYING.PLUGINS.txt"
+  install -Dm644 doc/COPYING.DOC.txt "$pkgdir/usr/share/licenses/$pkgname/COPYING.DOC.txt"
+
+  # Install documentation
+  install -m755 -d "$pkgdir/usr/share/java/$pkgname"
+  cp -ru doc "$pkgdir/usr/share/java/$pkgname/doc"
+#  install -d "$pkgdir/usr/share/doc/$pkgname"
+#  cp -r build/javadoc "${pkgdir}/usr/share/doc/${pkgname}"
+
+  # Install jars
+  install -D -m644 build/$pkgname.jar "$pkgdir/usr/share/java/$pkgname/$pkgname.jar"
+
+  # Install keymaps
+  cp -r build/keymaps "${pkgdir}/usr/share/java/${pkgname}"
+
+  # Install macros
+  cp -r build/macros "${pkgdir}/usr/share/java/${pkgname}"
+
+  # Install modes
+  cp -r build/modes "${pkgdir}/usr/share/java/${pkgname}"
+
+  # Install properties
+  cp -r build/properties "${pkgdir}/usr/share/java/${pkgname}"
+
+  # Install startup
+  cp -r build/startup "${pkgdir}/usr/share/java/${pkgname}"
+
+  # Man pages
+  install -Dm644 package-files/linux/$pkgname.1 "$pkgdir/usr/share/man/man1/$pkgname.1"
+
+  # Launchers, properties and desktop shortcuts
+  install -d "$pkgdir/usr/bin"
+  install -Dm755 "$srcdir/$pkgname.sh" "$pkgdir/usr/bin/$pkgname"
+  install -Dm755 "$srcdir/${pkgname}bg.sh" "$pkgdir/usr/bin/${pkgname}bg"
+  install -Dm644 "$srcdir/$pkgname.props" "$pkgdir/usr/share/$pkgname/default.props"
+  install -Dm644 "$srcdir/$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop"
+  install -Dm644 doc/$pkgname.png "$pkgdir/usr/share/pixmaps/$pkgname.png"
+}
diff --git a/libre/jedit/jedit-fix_build.patch b/libre/jedit/jedit-fix_build.patch
new file mode 100644
index 000000000..367dfdf7c
--- /dev/null
+++ b/libre/jedit/jedit-fix_build.patch
@@ -0,0 +1,11 @@
+--- jEdit.orig/build.xml	2015-10-20 12:56:08.000000000 -0500
++++ jEdit/build.xml	2016-06-27 03:39:13.537041553 -0500
+@@ -119,7 +119,7 @@
+ 
+ 	<target name="retrieve"
+ 		description="retrieve the dependencies"
+-		depends="init,init-ivy"
++		depends="init"
+ 		unless="ivy.done">
+ 		<ivy:retrieve sync="true"/>
+ 		<ivy:retrieve pattern="${lib.dir}/ivy/[artifact]-[revision].[ext]"
diff --git a/libre/jedit/jedit.install b/libre/jedit/jedit.install
new file mode 100644
index 000000000..7c0a944ef
--- /dev/null
+++ b/libre/jedit/jedit.install
@@ -0,0 +1,13 @@
+post_upgrade() {
+  update-desktop-database -q
+}
+
+post_install() {
+	post_upgrade
+}
+
+post_remove() {
+  post_upgrade
+}
+
+# vim:set ts=2 sw=2 et:
diff --git a/libre/jedit/jedit.props b/libre/jedit/jedit.props
new file mode 100644
index 000000000..022ffba5e
--- /dev/null
+++ b/libre/jedit/jedit.props
@@ -0,0 +1,62 @@
+# --- Arch Linux defaults for jEdit ---
+#
+# Just remove this file (~/.jedit/properties) to use the original jEdit defaults.
+#
+# startup
+firstTime=false
+tip.show=false
+# buffers
+buffer.tabSize=4
+buffer.indentSize=4
+buffer.encoding=UTF-8
+buffer.maxLineLen=99
+# look and feel, fonts and colors
+icon-theme=tango
+lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel
+view.fontsize=14
+view.font=Fira Mono
+view.selectionFg=false
+view.caretColor=\#333333
+view.lineHighlightColor=\#deebfb
+view.thickCaret=false
+view.selectionFgColor=\#000000
+view.extendedState=0
+view.wrapGuideColor=\#dedede
+view.structureHighlightColor=\#3d9bc4
+view.selectionColor=\#cccccc
+view.status.show-caret-virtual=true
+view.status.foreground=\#000000
+view.status.show-caret-linenumber=true
+view.status.show-caret-bufferlength=true
+view.status.background=\#ffffff
+view.status.show-caret-dot=true
+view.status.memory.background=\#66699a
+view.status.show-caret-offset=true
+view.style.invalid=color\:\#ff1e00 bgColor\:\#ffffcc
+view.style.digit=color\:\#330066
+view.style.literal4=color\:\#0182bc
+view.style.literal3=color\:\#0700cc
+view.style.literal2=color\:\#760000
+view.style.literal1=color\:\#90001c
+view.style.comment4=color\:\#a2a2a2
+view.style.label=color\:\#009500
+view.style.comment3=color\:\#868686
+view.style.comment2=color\:\#383838
+view.style.comment1=color\:\#434343
+view.style.keyword4=color\:\#00a228
+view.style.keyword3=color\:\#0b2700
+view.style.keyword2=color\:\#000066
+view.style.keyword1=color\:\#0033cc
+view.style.function=color\:\#006600
+view.style.operator=color\:\#000000
+view.gutter.fontsize=14
+view.gutter.font=Courier 10 Pitch
+view.gutter.highlightColor=\#660000
+view.gutter.selectionAreaBgColor=\#f0f0f0
+view.gutter.highlightInterval=10
+view.gutter.focusBorderColor=\#ececec
+view.gutter.highlightCurrentLine=false
+view.gutter.bgColor=\#f0f0f0
+view.gutter.currentLineColor=\#006699
+view.gutter.fgColor=\#3c3c3c
+view.gutter.selectionAreaWidth=12
diff --git a/libre/jedit/jedit.sh b/libre/jedit/jedit.sh
new file mode 100644
index 000000000..f05359f2d
--- /dev/null
+++ b/libre/jedit/jedit.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+# Runs jEdit - Programmer's Text Editor
+
+# If $HOME/.jedit or $HOME/.jedit/properties exists, don't do anything.
+# If not, copy in a default property file.
+if [ ! -e $HOME/.jedit ]; then
+  if [ ! -e $HOME/.jedit/properties ]; then
+    mkdir $HOME/.jedit
+		cp /usr/share/jedit/default.props $HOME/.jedit/properties
+  fi
+fi
+
+# Set jvm heap initial and maximum sizes (in megabytes).
+JAVA_HEAP_MAX_SIZE=192
+
+exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@"
diff --git a/libre/jedit/jeditbg.sh b/libre/jedit/jeditbg.sh
new file mode 100644
index 000000000..a0de84cb2
--- /dev/null
+++ b/libre/jedit/jeditbg.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+# Runs jEdit in background-mode, ready to reuse the running instance
+jedit -background -reuseview "$@"