Date: Sunday, August 25, 2013 @ 18:45:00 Author: arodseth Revision: 96322
upgpkg: jedit 5.1.0-2 Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.props -------------+ PKGBUILD | 14 ++++++++----- jedit.props | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++++++---- 2 files changed, 66 insertions(+), 9 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2013-08-25 14:38:50 UTC (rev 96321) +++ PKGBUILD 2013-08-25 16:45:00 UTC (rev 96322) @@ -7,8 +7,8 @@ pkgname=jedit pkgver=5.1.0 -pkgrel=1 -pkgdesc='Text editor for programmers' +pkgrel=2 +pkgdesc='Text editor for programmers, written in Java' arch=('any') url='http://www.jedit.org/' license=('GPL') @@ -15,6 +15,7 @@ depends=('sh' 'java-runtime' 'desktop-file-utils') makedepends=('gendesk') optdepends=('java-environment: for java development') +options=('!emptydirs') install=$pkgname.install noextract=("${pkgname}${pkgver}install.jar") source=("http://downloads.sourceforge.net/$pkgname/${pkgname}${pkgver}install.jar" @@ -24,7 +25,7 @@ sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7' 'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' - '1ada993b3f079bba40be736a66eae390ee0427c18289be5965338f8e3adc7f27') + 'cc8d34ab151255c97d78a08ffbc25f041fe8c8c0017094d5eef27e84f95e0c2e') prepare() { gendesk -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \ @@ -33,10 +34,13 @@ package() { cd "$srcdir" - java -jar "${pkgname}${pkgver}install.jar" auto \ + install -d "$pkgdir/usr/share/java/$pkgdir" + install -d "$pkgdir/usr/bin" + install -d "$pkgdir/usr/share/man/man1" + (java -jar "${pkgname}${pkgver}install.jar" auto \ "$pkgdir/usr/share/java/$pkgname/" \ unix-script="$pkgdir/usr/bin/" \ - unix-man="$pkgdir/usr/share/man/man1" > inst.log + unix-man="$pkgdir/usr/share/man/man1/" 2>&1) > inst.log 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" Modified: jedit.props =================================================================== --- jedit.props 2013-08-25 14:38:50 UTC (rev 96321) +++ jedit.props 2013-08-25 16:45:00 UTC (rev 96322) @@ -1,10 +1,63 @@ # --- Arch Linux defaults for jEdit --- +# +# Just remove this file (~/.jedit/properties) to use the original jEdit defaults. +# +# startup +firstTime=false tip.show=false -firstTime=false +# buffers +buffer.tabSize=4 buffer.indentSize=4 -buffer.tabSize=4 -lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel -# Comment out the next three lines to get the default font +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.antiAlias=standard view.fontsize=14 view.font=Courier 10 Pitch +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