[arch-commits] Commit in intellij-idea-community-edition/repos/community-any (8 files)
Lukas Jirkovsky
stativ at archlinux.org
Tue Jul 10 16:03:19 UTC 2018
Date: Tuesday, July 10, 2018 @ 16:03:18
Author: stativ
Revision: 356246
archrelease: copy trunk to community-any
Added:
intellij-idea-community-edition/repos/community-any/PKGBUILD
(from rev 356245, intellij-idea-community-edition/trunk/PKGBUILD)
intellij-idea-community-edition/repos/community-any/idea.desktop
(from rev 356245, intellij-idea-community-edition/trunk/idea.desktop)
intellij-idea-community-edition/repos/community-any/idea.install
(from rev 356245, intellij-idea-community-edition/trunk/idea.install)
intellij-idea-community-edition/repos/community-any/idea.sh
(from rev 356245, intellij-idea-community-edition/trunk/idea.sh)
Deleted:
intellij-idea-community-edition/repos/community-any/PKGBUILD
intellij-idea-community-edition/repos/community-any/idea.desktop
intellij-idea-community-edition/repos/community-any/idea.install
intellij-idea-community-edition/repos/community-any/idea.sh
--------------+
PKGBUILD | 84 ++++++++++++++++++++++++++++-----------------------------
idea.desktop | 22 +++++++-------
idea.install | 20 ++++++-------
idea.sh | 10 +++---
4 files changed, 68 insertions(+), 68 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2018-07-10 16:03:07 UTC (rev 356245)
+++ PKGBUILD 2018-07-10 16:03:18 UTC (rev 356246)
@@ -1,42 +0,0 @@
-# $Id$
-# Maintainer: Lukas Jirkovsky <l.jirkovsky at gmail.com>
-pkgname=intellij-idea-community-edition
-pkgver=2018.1.4
-_pkgver=181.5087.20
-pkgrel=1
-epoch=2
-pkgdesc="IDE for Java, Groovy and other programming languages with advanced refactoring features"
-arch=('any')
-url="https://www.jetbrains.com/idea/"
-license=('Apache')
-backup=('usr/share/intellijidea-ce/bin/idea.vmoptions'
- 'usr/share/intellijidea-ce/bin/idea64.vmoptions')
-depends=('java-environment=8' 'giflib' 'libxtst' 'libxft' 'ttf-font'
- 'coreutils' 'grep' 'which')
-conflicts=('intellij-idea-libs')
-replaces=('intellij-idea-libs')
-install=idea.install
-source=("https://download.jetbrains.com/idea/ideaIC-${pkgver}-no-jdk.tar.gz"
- idea.desktop idea.sh)
-sha256sums=('a31f0e08d718df6794e178e299cc41b16b62127d431a32b9a17568e7fb4b6c33'
- 'bd37ad47c926941108f624cbe5adbd7fe91d198b15aca63d8a0c0da14c7a76a6'
- '0e5d6a47b5ae464e9f562110ccc798f55055943e425e0621c0275f72615fdb1d')
-
-package() {
- install -d -m755 "$pkgdir/"usr/share
- cp -a "idea-IC-$_pkgver" "$pkgdir"/usr/share/intellijidea-ce
-
- # make sure that all files are owned by root
- chown -R root:root "$pkgdir/usr/share"
-
- install -d -m755 "$pkgdir"/usr/bin
- install -D -m755 "$srcdir"/idea.sh "$pkgdir"/usr/bin/idea.sh
- install -D -m644 "$srcdir"/idea.desktop "$pkgdir"/usr/share/applications/idea.desktop
- install -D -m644 "$pkgdir"/usr/share/intellijidea-ce/bin/idea.png \
- "$pkgdir"/usr/share/pixmaps/idea.png
-
- # workaround FS#40934
- sed -i 's|lcd|on|' "$pkgdir"/usr/share/intellijidea-ce/bin/*.vmoptions
-}
-
-# vim:set ts=2 sw=2 et:
Copied: intellij-idea-community-edition/repos/community-any/PKGBUILD (from rev 356245, intellij-idea-community-edition/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2018-07-10 16:03:18 UTC (rev 356246)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Lukas Jirkovsky <l.jirkovsky at gmail.com>
+pkgname=intellij-idea-community-edition
+pkgver=2018.1.5
+_pkgver=181.5281.24
+pkgrel=1
+epoch=2
+pkgdesc="IDE for Java, Groovy and other programming languages with advanced refactoring features"
+arch=('any')
+url="https://www.jetbrains.com/idea/"
+license=('Apache')
+backup=('usr/share/intellijidea-ce/bin/idea.vmoptions'
+ 'usr/share/intellijidea-ce/bin/idea64.vmoptions')
+depends=('java-environment=8' 'giflib' 'libxtst' 'libxft' 'ttf-font'
+ 'coreutils' 'grep' 'which')
+conflicts=('intellij-idea-libs')
+replaces=('intellij-idea-libs')
+install=idea.install
+source=("https://download.jetbrains.com/idea/ideaIC-${pkgver}-no-jdk.tar.gz"
+ idea.desktop idea.sh)
+sha256sums=('d819ae48bc96f4bf6864e9d9a3e28880639bafd0e4e7be4347b907b3ffd763ad'
+ 'bd37ad47c926941108f624cbe5adbd7fe91d198b15aca63d8a0c0da14c7a76a6'
+ '0e5d6a47b5ae464e9f562110ccc798f55055943e425e0621c0275f72615fdb1d')
+
+package() {
+ install -d -m755 "$pkgdir/"usr/share
+ cp -a "idea-IC-$_pkgver" "$pkgdir"/usr/share/intellijidea-ce
+
+ # make sure that all files are owned by root
+ chown -R root:root "$pkgdir/usr/share"
+
+ install -d -m755 "$pkgdir"/usr/bin
+ install -D -m755 "$srcdir"/idea.sh "$pkgdir"/usr/bin/idea.sh
+ install -D -m644 "$srcdir"/idea.desktop "$pkgdir"/usr/share/applications/idea.desktop
+ install -D -m644 "$pkgdir"/usr/share/intellijidea-ce/bin/idea.png \
+ "$pkgdir"/usr/share/pixmaps/idea.png
+
+ # workaround FS#40934
+ sed -i 's|lcd|on|' "$pkgdir"/usr/share/intellijidea-ce/bin/*.vmoptions
+}
+
+# vim:set ts=2 sw=2 et:
Deleted: idea.desktop
===================================================================
--- idea.desktop 2018-07-10 16:03:07 UTC (rev 356245)
+++ idea.desktop 2018-07-10 16:03:18 UTC (rev 356246)
@@ -1,11 +0,0 @@
-[Desktop Entry]
-Version=1.0
-Type=Application
-Name=IntelliJ IDEA Community Edition
-Comment=Develop with pleasure!
-Exec=idea.sh %f
-Icon=idea
-Terminal=false
-StartupNotify=true
-StartupWMClass=jetbrains-idea-ce
-Categories=Development;IDE;Java;
Copied: intellij-idea-community-edition/repos/community-any/idea.desktop (from rev 356245, intellij-idea-community-edition/trunk/idea.desktop)
===================================================================
--- idea.desktop (rev 0)
+++ idea.desktop 2018-07-10 16:03:18 UTC (rev 356246)
@@ -0,0 +1,11 @@
+[Desktop Entry]
+Version=1.0
+Type=Application
+Name=IntelliJ IDEA Community Edition
+Comment=Develop with pleasure!
+Exec=idea.sh %f
+Icon=idea
+Terminal=false
+StartupNotify=true
+StartupWMClass=jetbrains-idea-ce
+Categories=Development;IDE;Java;
Deleted: idea.install
===================================================================
--- idea.install 2018-07-10 16:03:07 UTC (rev 356245)
+++ idea.install 2018-07-10 16:03:18 UTC (rev 356246)
@@ -1,10 +0,0 @@
-post_install() {
- echo "WARNING:"
- echo " Running IntelliJ IDEA with java other than java 8"
- echo " may cause various problems, such as Graddle import not working"
-}
-
-post_upgrade() {
- post_install
-}
-
Copied: intellij-idea-community-edition/repos/community-any/idea.install (from rev 356245, intellij-idea-community-edition/trunk/idea.install)
===================================================================
--- idea.install (rev 0)
+++ idea.install 2018-07-10 16:03:18 UTC (rev 356246)
@@ -0,0 +1,10 @@
+post_install() {
+ echo "WARNING:"
+ echo " Running IntelliJ IDEA with java other than java 8"
+ echo " may cause various problems, such as Graddle import not working"
+}
+
+post_upgrade() {
+ post_install
+}
+
Deleted: idea.sh
===================================================================
--- idea.sh 2018-07-10 16:03:07 UTC (rev 356245)
+++ idea.sh 2018-07-10 16:03:18 UTC (rev 356246)
@@ -1,5 +0,0 @@
-#!/bin/sh
-if [ -z "$IDEA_JDK" ] ; then
- IDEA_JDK="/usr/lib/jvm/java-8-openjdk/"
-fi
-exec env IDEA_JDK=$IDEA_JDK /usr/share/intellijidea-ce/bin/idea.sh $@
Copied: intellij-idea-community-edition/repos/community-any/idea.sh (from rev 356245, intellij-idea-community-edition/trunk/idea.sh)
===================================================================
--- idea.sh (rev 0)
+++ idea.sh 2018-07-10 16:03:18 UTC (rev 356246)
@@ -0,0 +1,5 @@
+#!/bin/sh
+if [ -z "$IDEA_JDK" ] ; then
+ IDEA_JDK="/usr/lib/jvm/java-8-openjdk/"
+fi
+exec env IDEA_JDK=$IDEA_JDK /usr/share/intellijidea-ce/bin/idea.sh $@
More information about the arch-commits
mailing list