[arch-commits] Commit in jedit/repos/community-any (10 files)
Alexander Rødseth
arodseth at archlinux.org
Thu Feb 5 12:09:31 UTC 2015
Date: Thursday, February 5, 2015 @ 13:09:30
Author: arodseth
Revision: 127149
archrelease: copy trunk to community-any
Added:
jedit/repos/community-any/PKGBUILD
(from rev 127148, jedit/trunk/PKGBUILD)
jedit/repos/community-any/jedit.install
(from rev 127148, jedit/trunk/jedit.install)
jedit/repos/community-any/jedit.props
(from rev 127148, jedit/trunk/jedit.props)
jedit/repos/community-any/jedit.sh
(from rev 127148, jedit/trunk/jedit.sh)
jedit/repos/community-any/jeditbg.sh
(from rev 127148, 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 | 121 ++++++++++++++++++++++++++++--------------------------
jedit.install | 26 +++++------
jedit.props | 124 ++++++++++++++++++++++++++++----------------------------
jedit.sh | 32 +++++++-------
jeditbg.sh | 6 +-
5 files changed, 157 insertions(+), 152 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2015-02-05 12:09:18 UTC (rev 127148)
+++ PKGBUILD 2015-02-05 12:09:30 UTC (rev 127149)
@@ -1,58 +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.1.0
-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' 'unzip' 'tar')
-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"
- 'jedit.sh'
- 'jeditbg.sh'
- 'jedit.props')
-sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7'
- 'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a'
- 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
- '5b428e95d76406fcfb81ac5c27f91397b9a990f597da5cbc4b7d60787cfd322e')
-
-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
-}
-
-package() {
- 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/" 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"
- 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:
Copied: jedit/repos/community-any/PKGBUILD (from rev 127148, jedit/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2015-02-05 12:09:30 UTC (rev 127149)
@@ -0,0 +1,63 @@
+# $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.2.0
+pkgrel=1
+pkgdesc='Text editor for programmers'
+arch=('any')
+url='http://www.jedit.org/'
+license=('GPL')
+depends=('java-runtime' 'desktop-file-utils')
+makedepends=('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'
+ 'jeditbg.sh'
+ 'jedit.props')
+sha256sums=('78869461199947fd51f629fdf3863482e3c02d64fac2c0d96103dfc438d2924c'
+ 'b2e5a8f2f4818b336b5d71f677114f1bc01e929d7fa60918675cc2234dae1a3a'
+ 'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
+ '1a8c6e51810abc9ff56606b61042e2e980cb4b479fa0099b3c93acd7e4b9295b')
+
+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
+}
+
+package() {
+ 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/" 2>&1) > 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"
+ 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
+ cp -ru "$srcdir/doc" "$pkgdir/usr/share/java/jedit/doc"
+}
+
+# vim:set ts=2 sw=2 et:
Deleted: jedit.install
===================================================================
--- jedit.install 2015-02-05 12:09:18 UTC (rev 127148)
+++ jedit.install 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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 127148, jedit/trunk/jedit.install)
===================================================================
--- jedit.install (rev 0)
+++ jedit.install 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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 2015-02-05 12:09:18 UTC (rev 127148)
+++ jedit.props 2015-02-05 12:09:30 UTC (rev 127149)
@@ -1,62 +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=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
Copied: jedit/repos/community-any/jedit.props (from rev 127148, jedit/trunk/jedit.props)
===================================================================
--- jedit.props (rev 0)
+++ jedit.props 2015-02-05 12:09:30 UTC (rev 127149)
@@ -0,0 +1,62 @@
+# --- 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=Fira Mono
+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
Deleted: jedit.sh
===================================================================
--- jedit.sh 2015-02-05 12:09:18 UTC (rev 127148)
+++ jedit.sh 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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 -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@"
Copied: jedit/repos/community-any/jedit.sh (from rev 127148, jedit/trunk/jedit.sh)
===================================================================
--- jedit.sh (rev 0)
+++ jedit.sh 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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 -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@"
Deleted: jeditbg.sh
===================================================================
--- jeditbg.sh 2015-02-05 12:09:18 UTC (rev 127148)
+++ jeditbg.sh 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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 127148, jedit/trunk/jeditbg.sh)
===================================================================
--- jeditbg.sh (rev 0)
+++ jeditbg.sh 2015-02-05 12:09:30 UTC (rev 127149)
@@ -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