[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Saturday, September 19, 2020 @ 16:55:37 Author: arojas Revision: 710890 Update to 5.6.0 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |9 +++-- 1 file changed, 3 insertions(+), 6 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-09-19 16:50:44 UTC (rev 710889) +++ PKGBUILD2020-09-19 16:55:37 UTC (rev 710890) @@ -5,8 +5,8 @@ # Contributor: Dusty Phillips pkgname=jedit -pkgver=5.5.0 -pkgrel=3 +pkgver=5.6.0 +pkgrel=1 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' @@ -18,7 +18,7 @@ options=('!emptydirs') source=("https://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-$pkgver-noarch-1sao.tgz; 'jedit.sh' 'jeditbg.sh' 'jedit.props') -sha256sums=('f8f44a14944fbf92ea36274a3de7ecf3f50d22d7f74bd53f3aebe44beff9be38' +sha256sums=('4393bccfa8ea3f5a3baf1e0097966e592429491439d5e6f4d59e6d7a4c5fd51c' 'a32f0344a793528ac10c3a59a75bb615353604a7980a7293ef453a7af8c38f64' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347') @@ -43,6 +43,3 @@ "$pkgdir/usr/share/pixmaps/jedit.png" install -Dm644 jedit.desktop "$pkgdir/usr/share/applications/jedit.desktop" } - -# getver: jedit.org/index.php?page=download -# vim: ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, July 7, 2020 @ 12:40:24 Author: felixonmars Revision: 658179 upgpkg: jedit 5.5.0-3: reproducibility rebuild Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-07-07 12:40:16 UTC (rev 658178) +++ PKGBUILD2020-07-07 12:40:24 UTC (rev 658179) @@ -6,7 +6,7 @@ pkgname=jedit pkgver=5.5.0 -pkgrel=2 +pkgrel=3 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/'
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.sh jeditbg.sh)
Date: Monday, August 13, 2018 @ 12:33:37 Author: arodseth Revision: 371268 upgpkg: jedit 5.5.0-2 Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.sh jedit/trunk/jeditbg.sh + PKGBUILD |8 jedit.sh |9 - jeditbg.sh |2 +- 3 files changed, 9 insertions(+), 10 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-08-13 12:08:43 UTC (rev 371267) +++ PKGBUILD2018-08-13 12:33:37 UTC (rev 371268) @@ -1,5 +1,5 @@ # $Id$ -# Maintainer: Alexander F Rødseth +# Maintainer: Alexander F. Rødseth # Contributor: Daniel J Griffiths # Contributor: Jaroslav Lichtblau # Contributor: Jeff Mickey @@ -7,7 +7,7 @@ pkgname=jedit pkgver=5.5.0 -pkgrel=1 +pkgrel=2 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' @@ -20,8 +20,8 @@ source=("https://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-$pkgver-noarch-1sao.tgz; 'jedit.sh' 'jeditbg.sh' 'jedit.props') sha256sums=('f8f44a14944fbf92ea36274a3de7ecf3f50d22d7f74bd53f3aebe44beff9be38' -'91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' -'5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69' +'a32f0344a793528ac10c3a59a75bb615353604a7980a7293ef453a7af8c38f64' +'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347') prepare() { Modified: jedit.sh === --- jedit.sh2018-08-13 12:08:43 UTC (rev 371267) +++ jedit.sh2018-08-13 12:33:37 UTC (rev 371268) @@ -1,13 +1,12 @@ -#!/bin/bash +#!/bin/sh +# Run jEdit - Programmer's Text Editor -# Runs jEdit - Programmer's Text Editor - # If both $HOME/.jedit and $HOME/.jedit/properties doesn't exist, # copy in a default property file. if [ ! -e $HOME/.jedit ]; then if [ ! -e $HOME/.jedit/properties ]; then mkdir -p "$HOME/.jedit" -cp "/usr/share/jedit/default.prop"s "$HOME/.jedit/properties" +cp /usr/share/jedit/default.props "$HOME/.jedit/properties" fi fi @@ -15,4 +14,4 @@ JAVA_HEAP_MAX_SIZE=192 # Start jEdit -exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@" +exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar /usr/share/java/jedit/jedit.jar "$@" Modified: jeditbg.sh === --- jeditbg.sh 2018-08-13 12:08:43 UTC (rev 371267) +++ jeditbg.sh 2018-08-13 12:33:37 UTC (rev 371268) @@ -1,3 +1,3 @@ -#!/bin/bash +#!/bin/sh # Runs jEdit in background-mode, ready to reuse the running instance jedit -background -reuseview "$@"
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Wednesday, April 11, 2018 @ 10:24:57 Author: arodseth Revision: 315714 upgpkg: jedit 5.5.0-1 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 11 ++- 1 file changed, 6 insertions(+), 5 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-04-11 10:04:39 UTC (rev 315713) +++ PKGBUILD2018-04-11 10:24:57 UTC (rev 315714) @@ -6,8 +6,8 @@ # Contributor: Dusty Phillipspkgname=jedit -pkgver=5.4.0 -pkgrel=5 +pkgver=5.5.0 +pkgrel=1 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' @@ -15,11 +15,11 @@ depends=('java-runtime>=8') makedepends=('gendesk') optdepends=('java-environment: for java development' -'noto-fonts: usable font') +'noto-fonts: a usable font') options=('!emptydirs') source=("https://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-$pkgver-noarch-1sao.tgz; 'jedit.sh' 'jeditbg.sh' 'jedit.props') -sha256sums=('aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a' +sha256sums=('f8f44a14944fbf92ea36274a3de7ecf3f50d22d7f74bd53f3aebe44beff9be38' '91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' '5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347') @@ -45,4 +45,5 @@ install -Dm644 jedit.desktop "$pkgdir/usr/share/applications/jedit.desktop" } -# vim:ts=2 sw=2 et: +# getver: jedit.org/index.php?page=download +# vim: ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Monday, October 2, 2017 @ 10:21:48 Author: arodseth Revision: 261239 upgpkg: jedit 5.4.0-5 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-10-02 09:23:14 UTC (rev 261238) +++ PKGBUILD2017-10-02 10:21:48 UTC (rev 261239) @@ -7,12 +7,12 @@ pkgname=jedit pkgver=5.4.0 -pkgrel=4 +pkgrel=5 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' license=('GPL') -depends=('java-runtime=8') +depends=('java-runtime>=8') makedepends=('gendesk') optdepends=('java-environment: for java development' 'noto-fonts: usable font')
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, August 15, 2017 @ 23:45:29 Author: arodseth Revision: 251228 https sources Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 27 --- 1 file changed, 12 insertions(+), 15 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-08-15 23:45:16 UTC (rev 251227) +++ PKGBUILD2017-08-15 23:45:29 UTC (rev 251228) @@ -7,31 +7,30 @@ pkgname=jedit pkgver=5.4.0 -pkgrel=3 +pkgrel=4 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' license=('GPL') -depends=('java-runtime=8' 'bash') +depends=('java-runtime=8') makedepends=('gendesk') optdepends=('java-environment: for java development' -'noto-fonts: perfectly usable font') +'noto-fonts: usable font') options=('!emptydirs') -source=('jedit.sh' 'jeditbg.sh' 'jedit.props' - "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-${pkgver}-noarch-1sao.tgz;) -sha256sums=('91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' +source=("https://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-$pkgver-noarch-1sao.tgz; +'jedit.sh' 'jeditbg.sh' 'jedit.props') +sha256sums=('aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a' +'91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' '5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69' -'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347' -'aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a') +'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347') prepare() { - # Generate desktop shortcut gendesk -f -n \ --pkgname "$pkgname" \ --pkgdesc "$pkgdesc" \ --exec 'jeditbg %U' \ ---name 'jEdit' \ ---genericname 'Editor' +--name jEdit \ +--genericname Editor } package() { @@ -38,14 +37,12 @@ install -d "$pkgdir/usr/share/"{doc,java} cp -r "usr/doc/$pkgname-$pkgver" "$pkgdir/usr/share/doc/$pkgname" cp -r "usr/share/$pkgname-$pkgver" "$pkgdir/usr/share/java/$pkgname" - - # 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" - install -Dm644 jedit.desktop "$pkgdir/usr/share/applications/jedit.desktop" install -Dm644 "$pkgdir/usr/share/java/jedit/doc/jedit.png" \ "$pkgdir/usr/share/pixmaps/jedit.png" + install -Dm644 jedit.desktop "$pkgdir/usr/share/applications/jedit.desktop" } -# vim:set ts=2 sw=2 et: +# vim:ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Friday, April 21, 2017 @ 13:29:14 Author: arodseth Revision: 224126 upgpkg: jedit 5.4.0-3 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 10 +- 1 file changed, 5 insertions(+), 5 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-04-21 13:21:08 UTC (rev 224125) +++ PKGBUILD2017-04-21 13:29:14 UTC (rev 224126) @@ -7,14 +7,14 @@ pkgname=jedit pkgver=5.4.0 -pkgrel=2 +pkgrel=3 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' license=('GPL') -depends=('java-runtime' 'bash') +depends=('java-runtime=8' 'bash') makedepends=('gendesk') -optdepends=('java-environment=8: for java development' +optdepends=('java-environment: for java development' 'noto-fonts: perfectly usable font') options=('!emptydirs') source=('jedit.sh' 'jeditbg.sh' 'jedit.props' @@ -29,9 +29,9 @@ gendesk -f -n \ --pkgname "$pkgname" \ --pkgdesc "$pkgdesc" \ ---genericname 'Editor' \ --exec 'jeditbg %U' \ ---name 'jEdit' +--name 'jEdit' \ +--genericname 'Editor' } package() {
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Wednesday, March 29, 2017 @ 08:47:08 Author: arodseth Revision: 219783 upgpkg: jedit 5.4.0-2 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 17 ++--- 1 file changed, 10 insertions(+), 7 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-03-29 07:49:53 UTC (rev 219782) +++ PKGBUILD2017-03-29 08:47:08 UTC (rev 219783) @@ -7,7 +7,7 @@ pkgname=jedit pkgver=5.4.0 -pkgrel=1 +pkgrel=2 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' @@ -14,12 +14,10 @@ license=('GPL') depends=('java-runtime' 'bash') makedepends=('gendesk') -optdepends=('java-environment: for java development' +optdepends=('java-environment=8: for java development' 'noto-fonts: perfectly usable font') options=('!emptydirs') -source=('jedit.sh' -'jeditbg.sh' -'jedit.props' +source=('jedit.sh' 'jeditbg.sh' 'jedit.props' "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-${pkgver}-noarch-1sao.tgz;) sha256sums=('91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' '5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69' @@ -27,8 +25,13 @@ 'aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a') prepare() { - gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \ ---name 'jEdit' --genericname 'Editor' + # Generate desktop shortcut + gendesk -f -n \ +--pkgname "$pkgname" \ +--pkgdesc "$pkgdesc" \ +--genericname 'Editor' \ +--exec 'jeditbg %U' \ +--name 'jEdit' } package() {
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.sh jeditbg.sh)
Date: Monday, March 20, 2017 @ 10:58:27 Author: arodseth Revision: 217547 upgpkg: jedit 5.4.0-1 Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.sh jedit/trunk/jeditbg.sh + PKGBUILD | 12 ++-- jedit.sh |2 +- jeditbg.sh |2 +- 3 files changed, 8 insertions(+), 8 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-03-20 10:37:32 UTC (rev 217546) +++ PKGBUILD2017-03-20 10:58:27 UTC (rev 217547) @@ -6,13 +6,13 @@ # Contributor: Dusty Phillipspkgname=jedit -pkgver=5.3.0 -pkgrel=4 +pkgver=5.4.0 +pkgrel=1 pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' license=('GPL') -depends=('java-runtime') +depends=('java-runtime' 'bash') makedepends=('gendesk') optdepends=('java-environment: for java development' 'noto-fonts: perfectly usable font') @@ -21,10 +21,10 @@ 'jeditbg.sh' 'jedit.props' "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-${pkgver}-noarch-1sao.tgz;) -sha256sums=('ae53cda453152dd7835d6428910171ca1383bb5e36a4b9b1164d98a940f6ed10' -'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' +sha256sums=('91d9b4b0c4855c9624ceea8c6b40c90b53fb15a020b6d954f4bb6b4b934e0348' +'5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347' -'888740e33376781cd991ba7ba6abfa3ac1fe79cd939f5278ae7310f6a2084855') +'aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a') prepare() { gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \ Modified: jedit.sh === --- jedit.sh2017-03-20 10:37:32 UTC (rev 217546) +++ jedit.sh2017-03-20 10:58:27 UTC (rev 217547) @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Runs jEdit - Programmer's Text Editor Modified: jeditbg.sh === --- jeditbg.sh 2017-03-20 10:37:32 UTC (rev 217546) +++ jeditbg.sh 2017-03-20 10:58:27 UTC (rev 217547) @@ -1,3 +1,3 @@ -#!/bin/sh +#!/bin/bash # Runs jEdit in background-mode, ready to reuse the running instance jedit -background -reuseview "$@"
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, June 28, 2016 @ 17:15:48 Author: arodseth Revision: 181523 upgpkg: jedit 5.3.0-4 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |2 -- 1 file changed, 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-06-28 17:14:39 UTC (rev 181522) +++ PKGBUILD2016-06-28 17:15:48 UTC (rev 181523) @@ -32,8 +32,6 @@ } package() { - cd "$srcdir" - install -d "$pkgdir/usr/share/"{doc,java} cp -r "usr/doc/$pkgname-$pkgver" "$pkgdir/usr/share/doc/$pkgname" cp -r "usr/share/$pkgname-$pkgver" "$pkgdir/usr/share/java/$pkgname"
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, June 28, 2016 @ 17:14:39 Author: arodseth Revision: 181522 upgpkg: jedit 5.3.0-4 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |8 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-06-28 17:10:58 UTC (rev 181521) +++ PKGBUILD2016-06-28 17:14:39 UTC (rev 181522) @@ -7,15 +7,15 @@ pkgname=jedit pkgver=5.3.0 -pkgrel=3 -pkgdesc='Text editor for programmers' +pkgrel=4 +pkgdesc='Editor for programmers' arch=('any') url='http://jedit.org/' license=('GPL') depends=('java-runtime') -makedepends=('apache-ant' 'gendesk' 'unzip' 'maven' 'java-environment' 'apache-ivy') +makedepends=('gendesk') optdepends=('java-environment: for java development' -'noto-fonts: a usable font') +'noto-fonts: perfectly usable font') options=('!emptydirs') source=('jedit.sh' 'jeditbg.sh'
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, June 28, 2016 @ 17:10:49 Author: arodseth Revision: 181520 upgpkg: jedit 5.3.0-3 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2016-06-28 17:07:02 UTC (rev 181519) +++ PKGBUILD2016-06-28 17:10:49 UTC (rev 181520) @@ -21,7 +21,7 @@ 'jeditbg.sh' 'jedit.props' "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-${pkgver}-noarch-1sao.tgz;) -sha256sums=('b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' +sha256sums=('ae53cda453152dd7835d6428910171ca1383bb5e36a4b9b1164d98a940f6ed10' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347' '888740e33376781cd991ba7ba6abfa3ac1fe79cd939f5278ae7310f6a2084855')
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.sh)
Date: Tuesday, June 28, 2016 @ 16:58:50 Author: arodseth Revision: 181517 Using the jEdit slackware package as basis instead of the jar installer Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.sh --+ PKGBUILD | 45 ++--- jedit.sh | 12 +++- 2 files changed, 17 insertions(+), 40 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-06-28 16:46:53 UTC (rev 181516) +++ PKGBUILD2016-06-28 16:58:50 UTC (rev 181517) @@ -5,60 +5,39 @@ # Contributor: Jeff Mickey# Contributor: Dusty Phillips -# TODO Fix problems when building in a chroot - pkgname=jedit pkgver=5.3.0 -pkgrel=2 +pkgrel=3 pkgdesc='Text editor for programmers' arch=('any') -url='http://www.jedit.org/' +url='http://jedit.org/' license=('GPL') depends=('java-runtime') -makedepends=('apache-ant' 'gendesk' 'unzip' 'tar' 'maven' 'java-environment' 'apache-ivy') +makedepends=('apache-ant' 'gendesk' 'unzip' 'maven' 'java-environment' 'apache-ivy') optdepends=('java-environment: for java development' -'noto-fonts: usable font') +'noto-fonts: a usable font') options=('!emptydirs') -noextract=("${pkgname}${pkgver}install.jar") source=('jedit.sh' 'jeditbg.sh' 'jedit.props' - "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit${pkgver}source.tar.bz2;) + "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit-${pkgver}-noarch-1sao.tgz;) sha256sums=('b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' 'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347' -'8d56d036be4dd45254748f063ade01293b862a615cdff6aed274ab58085f6304') +'888740e33376781cd991ba7ba6abfa3ac1fe79cd939f5278ae7310f6a2084855') prepare() { gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \ --name 'jEdit' --genericname 'Editor' - - # Extract the documentation so that it can be installed manually - #unzip "${pkgname}${pkgver}install.jar" - #tar jxf installer/jedit-api.tar.bz2 } -build() { - cd jEdit - - ant -k dist-java -} - package() { - install -d "$pkgdir/usr/share/java/$pkgdir" \ -"$pkgdir/usr/bin" \ -"$pkgdir/usr/share/man/man1" + cd "$srcdir" - cd jEdit/dist + install -d "$pkgdir/usr/share/"{doc,java} + cp -r "usr/doc/$pkgname-$pkgver" "$pkgdir/usr/share/doc/$pkgname" + cp -r "usr/share/$pkgname-$pkgver" "$pkgdir/usr/share/java/$pkgname" - # 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 - - cd "$srcdir" - # Launchers, properties and desktop shortcuts install -Dm755 jedit.sh "$pkgdir/usr/bin/jedit" install -Dm755 jeditbg.sh "$pkgdir/usr/bin/jeditbg" @@ -66,10 +45,6 @@ install -Dm644 jedit.desktop "$pkgdir/usr/share/applications/jedit.desktop" install -Dm644 "$pkgdir/usr/share/java/jedit/doc/jedit.png" \ "$pkgdir/usr/share/pixmaps/jedit.png" - - # The missing documentation files - cd jEdit - cp -ru doc "$pkgdir/usr/share/java/jedit/doc" } # vim:set ts=2 sw=2 et: Modified: jedit.sh === --- jedit.sh2016-06-28 16:46:53 UTC (rev 181516) +++ jedit.sh2016-06-28 16:58:50 UTC (rev 181517) @@ -1,16 +1,18 @@ #!/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 both $HOME/.jedit and $HOME/.jedit/properties doesn't exist, +# 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 +mkdir -p "$HOME/.jedit" +cp "/usr/share/jedit/default.prop"s "$HOME/.jedit/properties" fi fi -# Set jvm heap initial and maximum sizes (in megabytes). +# Set the initial and maximum JVM heap size JAVA_HEAP_MAX_SIZE=192 +# Start jEdit exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@"
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Sunday, May 29, 2016 @ 11:59:39 Author: arodseth Revision: 177414 Currently does not build Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |7 +++ 1 file changed, 3 insertions(+), 4 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-05-29 09:47:34 UTC (rev 177413) +++ PKGBUILD2016-05-29 09:59:39 UTC (rev 177414) @@ -5,8 +5,7 @@ # Contributor: Jeff Mickey# Contributor: Dusty Phillips -# Does not currently build in a chroot. -# TODO: move apache-ivy from AUR +# TODO Fix problems when building in a chroot pkgname=jedit pkgver=5.3.0 @@ -15,8 +14,8 @@ arch=('any') url='http://www.jedit.org/' license=('GPL') -depends=('java-runtime' 'desktop-file-utils') -makedepends=('apache-ant' 'gendesk' 'unzip' 'tar' 'maven' 'java-environment') +depends=('java-runtime') +makedepends=('apache-ant' 'gendesk' 'unzip' 'tar' 'maven' 'java-environment' 'apache-ivy') optdepends=('java-environment: for java development' 'noto-fonts: usable font') options=('!emptydirs')
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.install)
Date: Sunday, May 29, 2016 @ 11:13:31 Author: arodseth Revision: 177411 Remove install file Modified: jedit/trunk/PKGBUILD Deleted: jedit/trunk/jedit.install ---+ PKGBUILD |1 - jedit.install | 13 - 2 files changed, 14 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-05-29 09:12:36 UTC (rev 177410) +++ PKGBUILD2016-05-29 09:13:31 UTC (rev 177411) @@ -20,7 +20,6 @@ optdepends=('java-environment: for java development' 'noto-fonts: usable font') options=('!emptydirs') -install=$pkgname.install noextract=("${pkgname}${pkgver}install.jar") source=('jedit.sh' 'jeditbg.sh' Deleted: jedit.install === --- jedit.install 2016-05-29 09:12:36 UTC (rev 177410) +++ jedit.install 2016-05-29 09:13:31 UTC (rev 177411) @@ -1,13 +0,0 @@ -post_upgrade() { - update-desktop-database -q -} - -post_install() { - post_upgrade -} - -post_remove() { - post_upgrade -} - -# vim:set ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Tuesday, April 12, 2016 @ 23:50:27 Author: arodseth Revision: 170802 Builds, but not in a chroot. Add TODO comment. Modified: jedit/trunk/PKGBUILD --+ PKGBUILD |5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-04-12 21:39:46 UTC (rev 170801) +++ PKGBUILD2016-04-12 21:50:27 UTC (rev 170802) @@ -6,6 +6,7 @@ # Contributor: Dusty Phillips# Does not currently build in a chroot. +# TODO: move apache-ivy from AUR pkgname=jedit pkgver=5.3.0 @@ -15,7 +16,7 @@ url='http://www.jedit.org/' license=('GPL') depends=('java-runtime' 'desktop-file-utils') -makedepends=('apache-ant' 'gendesk' 'unzip' 'tar') +makedepends=('apache-ant' 'gendesk' 'unzip' 'tar' 'maven' 'java-environment') optdepends=('java-environment: for java development' 'noto-fonts: usable font') options=('!emptydirs') @@ -42,7 +43,7 @@ build() { cd jEdit - ant dist-java + ant -k dist-java } package() {
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)
Date: Tuesday, April 12, 2016 @ 23:32:59 Author: arodseth Revision: 170799 upgpkg: jedit 5.3.0-2 Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.props -+ PKGBUILD|6 +++--- jedit.props |3 ++- 2 files changed, 5 insertions(+), 4 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-04-12 21:17:32 UTC (rev 170798) +++ PKGBUILD2016-04-12 21:32:59 UTC (rev 170799) @@ -9,7 +9,7 @@ pkgname=jedit pkgver=5.3.0 -pkgrel=1 +pkgrel=2 pkgdesc='Text editor for programmers' arch=('any') url='http://www.jedit.org/' @@ -17,7 +17,7 @@ depends=('java-runtime' 'desktop-file-utils') makedepends=('apache-ant' 'gendesk' 'unzip' 'tar') optdepends=('java-environment: for java development' -'ttf-fira-mono: usable font') +'noto-fonts: usable font') options=('!emptydirs') install=$pkgname.install noextract=("${pkgname}${pkgver}install.jar") @@ -27,7 +27,7 @@ "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit${pkgver}source.tar.bz2;) sha256sums=('b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' -'1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b' +'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347' '8d56d036be4dd45254748f063ade01293b862a615cdff6aed274ab58085f6304') prepare() { Modified: jedit.props === --- jedit.props 2016-04-12 21:17:32 UTC (rev 170798) +++ jedit.props 2016-04-12 21:32:59 UTC (rev 170799) @@ -14,8 +14,9 @@ icon-theme=tango lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel view.fontsize=14 -view.font=Fira Mono +view.font=Noto Mono view.selectionFg=false +view.antiAlias=standard view.caretColor=\#33 view.lineHighlightColor=\#deebfb view.thickCaret=false
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Saturday, October 24, 2015 @ 16:43:06 Author: arodseth Revision: 144895 upgpkg: jedit 5.3.0-1 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 37 + 1 file changed, 25 insertions(+), 12 deletions(-) Modified: PKGBUILD === --- PKGBUILD2015-10-24 14:38:38 UTC (rev 144894) +++ PKGBUILD2015-10-24 14:43:06 UTC (rev 144895) @@ -1,12 +1,14 @@ # $Id$ -# Maintainer: Alexander Rødseth+# Maintainer: Alexander F Rødseth # Contributor: Daniel J Griffiths # Contributor: Jaroslav Lichtblau # Contributor: Jeff Mickey # Contributor: Dusty Phillips +# Does not currently build in a chroot. + pkgname=jedit -pkgver=5.2.0 +pkgver=5.3.0 pkgrel=1 pkgdesc='Text editor for programmers' arch=('any') @@ -13,20 +15,20 @@ url='http://www.jedit.org/' license=('GPL') depends=('java-runtime' 'desktop-file-utils') -makedepends=('gendesk' 'unzip' 'tar') +makedepends=('apache-ant' 'gendesk' 'unzip' 'tar') optdepends=('java-environment: for java development' 'ttf-fira-mono: usable font') options=('!emptydirs') install=$pkgname.install noextract=("${pkgname}${pkgver}install.jar") -source=("http://downloads.sourceforge.net/$pkgname/${pkgname}${pkgver}install.jar; -'jedit.sh' +source=('jedit.sh' 'jeditbg.sh' -'jedit.props') -sha256sums=('78869461199947fd51f629fdf3863482e3c02d64fac2c0d96103dfc438d2924c' -'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' +'jedit.props' + "http://sourceforge.net/projects/jedit/files/jedit/$pkgver/jedit${pkgver}source.tar.bz2;) +sha256sums=('b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' -'1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b') +'1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b' +'8d56d036be4dd45254748f063ade01293b862a615cdff6aed274ab58085f6304') prepare() { gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \ @@ -33,15 +35,23 @@ --name 'jEdit' --genericname 'Editor' # Extract the documentation so that it can be installed manually - unzip "${pkgname}${pkgver}install.jar" - tar jxf installer/jedit-api.tar.bz2 + #unzip "${pkgname}${pkgver}install.jar" + #tar jxf installer/jedit-api.tar.bz2 } +build() { + cd jEdit + + ant dist-java +} + package() { install -d "$pkgdir/usr/share/java/$pkgdir" \ "$pkgdir/usr/bin" \ "$pkgdir/usr/share/man/man1" + cd jEdit/dist + # Run the installer (java -jar "${pkgname}${pkgver}install.jar" auto \ "$pkgdir/usr/share/java/$pkgname/" \ @@ -48,6 +58,8 @@ unix-script="$pkgdir/usr/bin/" \ unix-man="$pkgdir/usr/share/man/man1/" 2>&1) > inst.log + cd "$srcdir" + # Launchers, properties and desktop shortcuts install -Dm755 jedit.sh "$pkgdir/usr/bin/jedit" install -Dm755 jeditbg.sh "$pkgdir/usr/bin/jeditbg" @@ -57,7 +69,8 @@ "$pkgdir/usr/share/pixmaps/jedit.png" # The missing documentation files - cp -ru "$srcdir/doc" "$pkgdir/usr/share/java/jedit/doc" + cd jEdit + cp -ru doc "$pkgdir/usr/share/java/jedit/doc" } # vim:set ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)
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 === --- PKGBUILD2015-02-05 10:57:53 UTC (rev 127147) +++ PKGBUILD2015-02-05 12:09:18 UTC (rev 127148) @@ -6,15 +6,16 @@ # Contributor: Dusty Phillips du...@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/ 21) 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=\#33 view.lineHighlightColor=\#deebfb
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Monday, February 24, 2014 @ 14:55:03 Author: arodseth Revision: 106164 upgpkg: jedit 5.1.0-4, fix for FS#38954 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 21 ++--- 1 file changed, 14 insertions(+), 7 deletions(-) Modified: PKGBUILD === --- PKGBUILD2014-02-24 13:13:50 UTC (rev 106163) +++ PKGBUILD2014-02-24 13:55:03 UTC (rev 106164) @@ -7,13 +7,13 @@ pkgname=jedit pkgver=5.1.0 -pkgrel=3 +pkgrel=4 pkgdesc='Text editor for programmers, written in Java' arch=('any') url='http://www.jedit.org/' license=('GPL') depends=('sh' 'java-runtime' 'desktop-file-utils') -makedepends=('gendesk') +makedepends=('gendesk' 'unzip' 'tar') optdepends=('java-environment: for java development') options=('!emptydirs') install=$pkgname.install @@ -28,8 +28,12 @@ '5b428e95d76406fcfb81ac5c27f91397b9a990f597da5cbc4b7d60787cfd322e') prepare() { - gendesk -n --pkgname $pkgname --pkgdesc $pkgdesc --exec 'jeditbg %U' \ + gendesk -f -n --pkgname $pkgname --pkgdesc $pkgdesc --exec 'jeditbg %U' \ --name 'jEdit' --genericname 'Editor' + + # Extract the documentation so that it can be installed manually + unzip ${pkgname}${pkgver}install.jar + tar jxf installer/jedit-api.tar.bz2 } package() { @@ -40,12 +44,15 @@ $pkgdir/usr/share/java/$pkgname/ \ unix-script=$pkgdir/usr/bin/ \ unix-man=$pkgdir/usr/share/man/man1/ 21) 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 - install -Dm644 'jedit.desktop' $pkgdir/usr/share/applications/jedit.desktop + 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 + install -Dm644 jedit.desktop $pkgdir/usr/share/applications/jedit.desktop install -Dm644 $pkgdir/usr/share/java/jedit/doc/jedit.png \ $pkgdir/usr/share/pixmaps/jedit.png + + # Install a few missing documentation files + cp -ru $srcdir/doc $pkgdir/usr/share/java/jedit/doc } # vim:set ts=2 sw=2 et:
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.sh)
Date: Monday, January 6, 2014 @ 12:24:25 Author: arodseth Revision: 103456 Fix for AA font rendering on KDE, FS#38377 Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.sh --+ PKGBUILD |5 ++--- jedit.sh |2 +- 2 files changed, 3 insertions(+), 4 deletions(-) Modified: PKGBUILD === --- PKGBUILD2014-01-06 11:23:39 UTC (rev 103455) +++ PKGBUILD2014-01-06 11:24:25 UTC (rev 103456) @@ -7,7 +7,7 @@ pkgname=jedit pkgver=5.1.0 -pkgrel=2 +pkgrel=3 pkgdesc='Text editor for programmers, written in Java' arch=('any') url='http://www.jedit.org/' @@ -23,7 +23,7 @@ 'jeditbg.sh' 'jedit.props') sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7' -'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de' +'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' 'cc8d34ab151255c97d78a08ffbc25f041fe8c8c0017094d5eef27e84f95e0c2e') @@ -33,7 +33,6 @@ } package() { - cd $srcdir install -d $pkgdir/usr/share/java/$pkgdir install -d $pkgdir/usr/bin install -d $pkgdir/usr/share/man/man1 Modified: jedit.sh === --- jedit.sh2014-01-06 11:23:39 UTC (rev 103455) +++ jedit.sh2014-01-06 11:24:25 UTC (rev 103456) @@ -13,4 +13,4 @@ # Set jvm heap initial and maximum sizes (in megabytes). JAVA_HEAP_MAX_SIZE=192 -exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -jar /usr/share/java/jedit/jedit.jar $@ +exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar /usr/share/java/jedit/jedit.jar $@
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)
Date: Monday, January 6, 2014 @ 12:27:46 Author: arodseth Revision: 103460 Minor change Modified: jedit/trunk/PKGBUILD jedit/trunk/jedit.props -+ PKGBUILD|2 +- jedit.props |1 - 2 files changed, 1 insertion(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2014-01-06 11:25:36 UTC (rev 103459) +++ PKGBUILD2014-01-06 11:27:46 UTC (rev 103460) @@ -25,7 +25,7 @@ sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7' 'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' -'cc8d34ab151255c97d78a08ffbc25f041fe8c8c0017094d5eef27e84f95e0c2e') +'5b428e95d76406fcfb81ac5c27f91397b9a990f597da5cbc4b7d60787cfd322e') prepare() { gendesk -n --pkgname $pkgname --pkgdesc $pkgdesc --exec 'jeditbg %U' \ Modified: jedit.props === --- jedit.props 2014-01-06 11:25:36 UTC (rev 103459) +++ jedit.props 2014-01-06 11:27:46 UTC (rev 103460) @@ -13,7 +13,6 @@ # 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
[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)
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 === --- PKGBUILD2013-08-25 14:38:50 UTC (rev 96321) +++ PKGBUILD2013-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/ 21) 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=\#33 +view.lineHighlightColor=\#deebfb +view.thickCaret=false +view.selectionFgColor=\#00 +view.extendedState=0 +view.wrapGuideColor=\#dedede +view.structureHighlightColor=\#3d9bc4 +view.selectionColor=\#cc +view.status.show-caret-virtual=true +view.status.foreground=\#00 +view.status.show-caret-linenumber=true +view.status.show-caret-bufferlength=true +view.status.background=\#ff +view.status.show-caret-dot=true +view.status.memory.background=\#66699a +view.status.show-caret-offset=true +view.style.invalid=color\:\#ff1e00 bgColor\:\#cc +view.style.digit=color\:\#330066 +view.style.literal4=color\:\#0182bc +view.style.literal3=color\:\#0700cc +view.style.literal2=color\:\#76 +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\:\#66 +view.style.keyword1=color\:\#0033cc +view.style.function=color\:\#006600 +view.style.operator=color\:\#00 +view.gutter.fontsize=14 +view.gutter.font=Courier 10 Pitch +view.gutter.highlightColor=\#66 +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
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Saturday, August 3, 2013 @ 10:34:57 Author: arodseth Revision: 95006 upgpkg: jedit 5.1.0-1 Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 26 ++ 1 file changed, 10 insertions(+), 16 deletions(-) Modified: PKGBUILD === --- PKGBUILD2013-08-03 07:36:18 UTC (rev 95005) +++ PKGBUILD2013-08-03 08:34:57 UTC (rev 95006) @@ -6,8 +6,8 @@ # Contributor: Dusty Phillips du...@buchuki.com pkgname=jedit -pkgver=5.0.0 -pkgrel=2 +pkgver=5.1.0 +pkgrel=1 pkgdesc='Text editor for programmers' arch=('any') url='http://www.jedit.org/' @@ -21,32 +21,26 @@ 'jedit.sh' 'jeditbg.sh' 'jedit.props') -sha256sums=('24b7f10f012737d77fe4bfa6c7961fca978ad3dd410561efd1ca8ab796e0f6ad' +sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7' 'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de' 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' '1ada993b3f079bba40be736a66eae390ee0427c18289be5965338f8e3adc7f27') -_exec=('jeditbg %U') -_name=('jEdit') -_genericname=('Editor') -build() { - cd $srcdir - - gendesk -n +prepare() { + gendesk -n --pkgname $pkgname --pkgdesc $pkgdesc --exec 'jeditbg %U' \ +--name 'jEdit' --genericname 'Editor' } package() { cd $srcdir - 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 - - 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 - install -Dm644 jedit.desktop $pkgdir/usr/share/applications/jedit.desktop + 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 + install -Dm644 'jedit.desktop' $pkgdir/usr/share/applications/jedit.desktop install -Dm644 $pkgdir/usr/share/java/jedit/doc/jedit.png \ $pkgdir/usr/share/pixmaps/jedit.png }
[arch-commits] Commit in jedit/trunk (PKGBUILD)
Date: Monday, February 4, 2013 @ 10:33:57 Author: arodseth Revision: 83641 upgpkg: jedit 5.0.0-2, fix for TODO/clean-up-pkgdir-usage Modified: jedit/trunk/PKGBUILD --+ PKGBUILD | 11 ++- 1 file changed, 6 insertions(+), 5 deletions(-) Modified: PKGBUILD === --- PKGBUILD2013-02-04 09:33:50 UTC (rev 83640) +++ PKGBUILD2013-02-04 09:33:57 UTC (rev 83641) @@ -7,7 +7,7 @@ pkgname=jedit pkgver=5.0.0 -pkgrel=1 +pkgrel=2 pkgdesc='Text editor for programmers' arch=('any') url='http://www.jedit.org/' @@ -31,17 +31,18 @@ build() { cd $srcdir + gendesk -n +} +package() { + cd $srcdir + 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 -} -package() { - cd $srcdir - 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