[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)

[Alexander Rødseth]

    Date: Thursday, February 5, 2015 @ 13:09:18
  Author: arodseth
Revision: 127148

upgpkg: jedit 5.2.0-1

Modified:
  jedit/trunk/PKGBUILD
  jedit/trunk/jedit.props

-------------+
 PKGBUILD    |   27 ++++++++++++++++-----------
 jedit.props |    2 +-
 2 files changed, 17 insertions(+), 12 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2015-02-05 10:57:53 UTC (rev 127147)
+++ PKGBUILD	2015-02-05 12:09:18 UTC (rev 127148)
@@ -6,15 +6,16 @@
 # Contributor: Dusty Phillips <dusty at buchuki.com>
 
 pkgname=jedit
-pkgver=5.1.0
-pkgrel=4
-pkgdesc='Text editor for programmers, written in Java'
+pkgver=5.2.0
+pkgrel=1
+pkgdesc='Text editor for programmers'
 arch=('any')
 url='http://www.jedit.org/'
 license=('GPL')
-depends=('sh' 'java-runtime' 'desktop-file-utils')
+depends=('java-runtime' 'desktop-file-utils')
 makedepends=('gendesk' 'unzip' 'tar')
-optdepends=('java-environment: for java development')
+optdepends=('java-environment: for java development'
+            'ttf-fira-mono: usable font')
 options=('!emptydirs')
 install=$pkgname.install
 noextract=("${pkgname}${pkgver}install.jar")
@@ -22,10 +23,10 @@
         'jedit.sh'
         'jeditbg.sh'
         'jedit.props')
-sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7'
+sha256sums=('78869461199947fd51f629fdf3863482e3c02d64fac2c0d96103dfc438d2924c'
             'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a'
             'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
-            '5b428e95d76406fcfb81ac5c27f91397b9a990f597da5cbc4b7d60787cfd322e')
+            '1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b')
 
 prepare() {
   gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \
@@ -37,13 +38,17 @@
 }
 
 package() {
-  install -d "$pkgdir/usr/share/java/$pkgdir"
-  install -d "$pkgdir/usr/bin"
-  install -d "$pkgdir/usr/share/man/man1"
+  install -d "$pkgdir/usr/share/java/$pkgdir" \
+    "$pkgdir/usr/bin" \
+    "$pkgdir/usr/share/man/man1"
+
+  # Run the installer
   (java -jar "${pkgname}${pkgver}install.jar" auto \
     "$pkgdir/usr/share/java/$pkgname/" \
     unix-script="$pkgdir/usr/bin/" \
     unix-man="$pkgdir/usr/share/man/man1/" 2>&1) > inst.log
+
+  # Launchers, properties and desktop shortcuts
   install -Dm755 jedit.sh "$pkgdir/usr/bin/jedit"
   install -Dm755 jeditbg.sh "$pkgdir/usr/bin/jeditbg"
   install -Dm644 jedit.props "$pkgdir/usr/share/jedit/default.props"
@@ -51,7 +56,7 @@
   install -Dm644 "$pkgdir/usr/share/java/jedit/doc/jedit.png" \
     "$pkgdir/usr/share/pixmaps/jedit.png"
 
-  # Install a few missing documentation files
+  # The missing documentation files
   cp -ru "$srcdir/doc" "$pkgdir/usr/share/java/jedit/doc"
 }
 

Modified: jedit.props
===================================================================
--- jedit.props	2015-02-05 10:57:53 UTC (rev 127147)
+++ jedit.props	2015-02-05 12:09:18 UTC (rev 127148)
@@ -14,7 +14,7 @@
 icon-theme=tango
 lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel
 view.fontsize=14
-view.font=Courier 10 Pitch
+view.font=Fira Mono
 view.selectionFg=false
 view.caretColor=\#333333
 view.lineHighlightColor=\#deebfb