git » java-common.git » commit 87a873b

upgpkg: 3-6

author Frederik Schwan
2025-01-18 09:48:14 UTC
committer Frederik Schwan
2025-01-18 09:48:14 UTC
parent b0dcab6c922172099801fd52a279a6697a6df738
upgpkg: 3-6

jre.sh cannot be sourced since append_path is unset in /etc/profile at the end.
So we instruct to source /etc/profile instead.

Fixes #6
.SRCINFO +2 -2
PKGBUILD +1 -1
install_java-runtime-common.sh +1 -1 
diff --git a/.SRCINFO b/.SRCINFO
index cb1e2bf..e5b9473 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
-pkgbase = java-runtime-common
+pkgbase = java-common
 	pkgdesc = Common files for Java Runtime Environments
 	pkgver = 3
-	pkgrel = 5
+	pkgrel = 6
 	url = https://www.archlinux.org/packages/extra/any/java-common/
 	arch = any
 	license = GPL
diff --git a/PKGBUILD b/PKGBUILD
index 321fd60..8b5cf3f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 pkgbase=java-common
 pkgname=('java-runtime-common' 'java-environment-common')
 pkgver=3
-pkgrel=5
+pkgrel=6
 pkgdesc='Common files for Java Runtime Environments'
 url='https://www.archlinux.org/packages/extra/any/java-common/'
 arch=('any')
diff --git a/install_java-runtime-common.sh b/install_java-runtime-common.sh
index f61d177..15f47bb 100644
--- a/install_java-runtime-common.sh
+++ b/install_java-runtime-common.sh
@@ -7,7 +7,7 @@ pre_upgrade() {
 
 post_install() {
   echo 'For the complete set of Java binaries to be available in your PATH,'
-  echo 'you need to re-login or source /etc/profile.d/jre.sh'
+  echo 'you need to re-login or source /etc/profile'
   echo 'Please note that this package does not support forcing JAVA_HOME as former package 'java-common' did'
 }