Date: Monday, February 4, 2013 @ 10:34:09 Author: arodseth Revision: 83642
archrelease: copy trunk to community-any Added: jedit/repos/community-any/PKGBUILD (from rev 83641, jedit/trunk/PKGBUILD) jedit/repos/community-any/jedit.install (from rev 83641, jedit/trunk/jedit.install) jedit/repos/community-any/jedit.props (from rev 83641, jedit/trunk/jedit.props) jedit/repos/community-any/jedit.sh (from rev 83641, jedit/trunk/jedit.sh) jedit/repos/community-any/jeditbg.sh (from rev 83641, jedit/trunk/jeditbg.sh) Deleted: jedit/repos/community-any/PKGBUILD jedit/repos/community-any/jedit.install jedit/repos/community-any/jedit.props jedit/repos/community-any/jedit.sh jedit/repos/community-any/jeditbg.sh ---------------+ PKGBUILD | 107 ++++++++++++++++++++++++++++---------------------------- jedit.install | 26 ++++++------- jedit.props | 20 +++++----- jedit.sh | 32 ++++++++-------- jeditbg.sh | 6 +-- 5 files changed, 96 insertions(+), 95 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2013-02-04 09:33:57 UTC (rev 83641) +++ PKGBUILD 2013-02-04 09:34:09 UTC (rev 83642) @@ -1,53 +0,0 @@ -# $Id$ -# Maintainer: Alexander Rødseth <rods...@gmail.com> -# Contributor: Daniel J Griffiths <ghost1...@archlinux.us> -# Contributor: Jaroslav Lichtblau <dragonl...@aur.archlinux.org> -# Contributor: Jeff Mickey <j...@codemac.net> -# Contributor: Dusty Phillips <du...@buchuki.com> - -pkgname=jedit -pkgver=5.0.0 -pkgrel=1 -pkgdesc='Text editor for programmers' -arch=('any') -url='http://www.jedit.org/' -license=('GPL') -depends=('sh' 'java-runtime' 'desktop-file-utils') -makedepends=('gendesk') -optdepends=('java-environment: for java development') -install=$pkgname.install -noextract=("${pkgname}${pkgver}install.jar") -source=("http://downloads.sourceforge.net/$pkgname/${pkgname}${pkgver}install.jar" - 'jedit.sh' - 'jeditbg.sh' - 'jedit.props') -sha256sums=('24b7f10f012737d77fe4bfa6c7961fca978ad3dd410561efd1ca8ab796e0f6ad' - 'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de' - 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' - '1ada993b3f079bba40be736a66eae390ee0427c18289be5965338f8e3adc7f27') -_exec=('jeditbg %U') -_name=('jEdit') -_genericname=('Editor') - -build() { - cd "$srcdir" - gendesk -n - - 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" - 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" -} - -# vim:set ts=2 sw=2 et: Copied: jedit/repos/community-any/PKGBUILD (from rev 83641, jedit/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2013-02-04 09:34:09 UTC (rev 83642) @@ -0,0 +1,54 @@ +# $Id$ +# Maintainer: Alexander Rødseth <rods...@gmail.com> +# Contributor: Daniel J Griffiths <ghost1...@archlinux.us> +# Contributor: Jaroslav Lichtblau <dragonl...@aur.archlinux.org> +# Contributor: Jeff Mickey <j...@codemac.net> +# Contributor: Dusty Phillips <du...@buchuki.com> + +pkgname=jedit +pkgver=5.0.0 +pkgrel=2 +pkgdesc='Text editor for programmers' +arch=('any') +url='http://www.jedit.org/' +license=('GPL') +depends=('sh' 'java-runtime' 'desktop-file-utils') +makedepends=('gendesk') +optdepends=('java-environment: for java development') +install=$pkgname.install +noextract=("${pkgname}${pkgver}install.jar") +source=("http://downloads.sourceforge.net/$pkgname/${pkgname}${pkgver}install.jar" + 'jedit.sh' + 'jeditbg.sh' + 'jedit.props') +sha256sums=('24b7f10f012737d77fe4bfa6c7961fca978ad3dd410561efd1ca8ab796e0f6ad' + 'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de' + 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915' + '1ada993b3f079bba40be736a66eae390ee0427c18289be5965338f8e3adc7f27') +_exec=('jeditbg %U') +_name=('jEdit') +_genericname=('Editor') + +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 + + 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" +} + +# vim:set ts=2 sw=2 et: Deleted: jedit.install =================================================================== --- jedit.install 2013-02-04 09:33:57 UTC (rev 83641) +++ jedit.install 2013-02-04 09:34:09 UTC (rev 83642) @@ -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: Copied: jedit/repos/community-any/jedit.install (from rev 83641, jedit/trunk/jedit.install) =================================================================== --- jedit.install (rev 0) +++ jedit.install 2013-02-04 09:34:09 UTC (rev 83642) @@ -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: Deleted: jedit.props =================================================================== --- jedit.props 2013-02-04 09:33:57 UTC (rev 83641) +++ jedit.props 2013-02-04 09:34:09 UTC (rev 83642) @@ -1,10 +0,0 @@ -# --- Arch Linux defaults for jEdit --- -tip.show=false -firstTime=false -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 -view.antiAlias=standard -view.fontsize=14 -view.font=Courier 10 Pitch Copied: jedit/repos/community-any/jedit.props (from rev 83641, jedit/trunk/jedit.props) =================================================================== --- jedit.props (rev 0) +++ jedit.props 2013-02-04 09:34:09 UTC (rev 83642) @@ -0,0 +1,10 @@ +# --- Arch Linux defaults for jEdit --- +tip.show=false +firstTime=false +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 +view.antiAlias=standard +view.fontsize=14 +view.font=Courier 10 Pitch Deleted: jedit.sh =================================================================== --- jedit.sh 2013-02-04 09:33:57 UTC (rev 83641) +++ jedit.sh 2013-02-04 09:34:09 UTC (rev 83642) @@ -1,16 +0,0 @@ -#!/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 -jar "/usr/share/java/jedit/jedit.jar" "$@" Copied: jedit/repos/community-any/jedit.sh (from rev 83641, jedit/trunk/jedit.sh) =================================================================== --- jedit.sh (rev 0) +++ jedit.sh 2013-02-04 09:34:09 UTC (rev 83642) @@ -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 -jar "/usr/share/java/jedit/jedit.jar" "$@" Deleted: jeditbg.sh =================================================================== --- jeditbg.sh 2013-02-04 09:33:57 UTC (rev 83641) +++ jeditbg.sh 2013-02-04 09:34:09 UTC (rev 83642) @@ -1,3 +0,0 @@ -#!/bin/sh -# Runs jEdit in background-mode, ready to reuse the running instance -jedit -background -reuseview "$@" Copied: jedit/repos/community-any/jeditbg.sh (from rev 83641, jedit/trunk/jeditbg.sh) =================================================================== --- jeditbg.sh (rev 0) +++ jeditbg.sh 2013-02-04 09:34:09 UTC (rev 83642) @@ -0,0 +1,3 @@ +#!/bin/sh +# Runs jEdit in background-mode, ready to reuse the running instance +jedit -background -reuseview "$@"