[arch-commits] Commit in jedit/repos/community-any (10 files)

Alexander Rødseth arodseth at nymeria.archlinux.org
Mon Feb 4 09:34:09 UTC 2013


    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 <rodseth at gmail.com>
-# Contributor: Daniel J Griffiths <ghost1227 at archlinux.us>
-# Contributor: Jaroslav Lichtblau <dragonlord at aur.archlinux.org>
-# Contributor: Jeff Mickey <j at codemac.net>
-# Contributor: Dusty Phillips <dusty at 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 <rodseth at gmail.com>
+# Contributor: Daniel J Griffiths <ghost1227 at archlinux.us>
+# Contributor: Jaroslav Lichtblau <dragonlord at aur.archlinux.org>
+# Contributor: Jeff Mickey <j at codemac.net>
+# Contributor: Dusty Phillips <dusty at 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 "$@"




More information about the arch-commits mailing list