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

Alexander Rødseth arodseth at archlinux.org
Mon Mar 20 10:59:36 UTC 2017


    Date: Monday, March 20, 2017 @ 10:59:35
  Author: arodseth
Revision: 217548

archrelease: copy trunk to community-any

Added:
  jedit/repos/community-any/PKGBUILD
    (from rev 217547, jedit/trunk/PKGBUILD)
  jedit/repos/community-any/jedit.props
    (from rev 217547, jedit/trunk/jedit.props)
  jedit/repos/community-any/jedit.sh
    (from rev 217547, jedit/trunk/jedit.sh)
  jedit/repos/community-any/jeditbg.sh
    (from rev 217547, jedit/trunk/jeditbg.sh)
Deleted:
  jedit/repos/community-any/PKGBUILD
  jedit/repos/community-any/jedit.props
  jedit/repos/community-any/jedit.sh
  jedit/repos/community-any/jeditbg.sh

-------------+
 PKGBUILD    |   96 ++++++++++++++++++++++----------------------
 jedit.props |  126 +++++++++++++++++++++++++++++-----------------------------
 jedit.sh    |   36 ++++++++--------
 jeditbg.sh  |    6 +-
 4 files changed, 132 insertions(+), 132 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2017-03-20 10:58:27 UTC (rev 217547)
+++ PKGBUILD	2017-03-20 10:59:35 UTC (rev 217548)
@@ -1,48 +0,0 @@
-# $Id$
-# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
-# 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.3.0
-pkgrel=4
-pkgdesc='Editor for programmers'
-arch=('any')
-url='http://jedit.org/'
-license=('GPL')
-depends=('java-runtime')
-makedepends=('gendesk')
-optdepends=('java-environment: for java development'
-            'noto-fonts: perfectly 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=('ae53cda453152dd7835d6428910171ca1383bb5e36a4b9b1164d98a940f6ed10'
-            'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
-            'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347'
-            '888740e33376781cd991ba7ba6abfa3ac1fe79cd939f5278ae7310f6a2084855')
-
-prepare() {
-  gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \
-    --name 'jEdit' --genericname 'Editor'
-}
-
-package() {
-  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"
-}
-
-# vim:set ts=2 sw=2 et:

Copied: jedit/repos/community-any/PKGBUILD (from rev 217547, jedit/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2017-03-20 10:59:35 UTC (rev 217548)
@@ -0,0 +1,48 @@
+# $Id$
+# Maintainer: Alexander F Rødseth <xyproto at archlinux.org>
+# 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.4.0
+pkgrel=1
+pkgdesc='Editor for programmers'
+arch=('any')
+url='http://jedit.org/'
+license=('GPL')
+depends=('java-runtime' 'bash')
+makedepends=('gendesk')
+optdepends=('java-environment: for java development'
+            'noto-fonts: perfectly 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'
+            '5cf267b6ee1f908ee7e9a830dc98f03a3a4a53db2822fce6a2cb5ed02d444c69'
+            'dc5fe0050321d4f34bce556895fbc39cc6f7df194e14eb4f6ea53166a4d82347'
+            'aed280800bc0d308b824087c1c71857bc4f3cc3011f20d09409298d173b37f6a')
+
+prepare() {
+  gendesk -f -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \
+    --name 'jEdit' --genericname 'Editor'
+}
+
+package() {
+  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"
+}
+
+# vim:set ts=2 sw=2 et:

Deleted: jedit.props
===================================================================
--- jedit.props	2017-03-20 10:58:27 UTC (rev 217547)
+++ jedit.props	2017-03-20 10:59:35 UTC (rev 217548)
@@ -1,63 +0,0 @@
-# --- Arch Linux defaults for jEdit ---
-#
-# Just remove this file (~/.jedit/properties) to use the original jEdit defaults.
-#
-# startup
-firstTime=false
-tip.show=false
-# buffers
-buffer.tabSize=4
-buffer.indentSize=4
-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.fontsize=14
-view.font=Noto Mono
-view.selectionFg=false
-view.antiAlias=standard
-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

Copied: jedit/repos/community-any/jedit.props (from rev 217547, jedit/trunk/jedit.props)
===================================================================
--- jedit.props	                        (rev 0)
+++ jedit.props	2017-03-20 10:59:35 UTC (rev 217548)
@@ -0,0 +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
+# buffers
+buffer.tabSize=4
+buffer.indentSize=4
+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.fontsize=14
+view.font=Noto Mono
+view.selectionFg=false
+view.antiAlias=standard
+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

Deleted: jedit.sh
===================================================================
--- jedit.sh	2017-03-20 10:58:27 UTC (rev 217547)
+++ jedit.sh	2017-03-20 10:59:35 UTC (rev 217548)
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-# 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"
-  fi
-fi
-
-# 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" "$@"

Copied: jedit/repos/community-any/jedit.sh (from rev 217547, jedit/trunk/jedit.sh)
===================================================================
--- jedit.sh	                        (rev 0)
+++ jedit.sh	2017-03-20 10:59:35 UTC (rev 217548)
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+# 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"
+  fi
+fi
+
+# 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" "$@"

Deleted: jeditbg.sh
===================================================================
--- jeditbg.sh	2017-03-20 10:58:27 UTC (rev 217547)
+++ jeditbg.sh	2017-03-20 10:59:35 UTC (rev 217548)
@@ -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 217547, jedit/trunk/jeditbg.sh)
===================================================================
--- jeditbg.sh	                        (rev 0)
+++ jeditbg.sh	2017-03-20 10:59:35 UTC (rev 217548)
@@ -0,0 +1,3 @@
+#!/bin/bash
+# Runs jEdit in background-mode, ready to reuse the running instance
+jedit -background -reuseview "$@"



More information about the arch-commits mailing list