wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-07 23:53:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

jedit: fix name of /etc/profile.d/10_openjdk*.sh, hard-code openjdk11

Browse source
This commit is contained in:
classabbyamp 2022-04-02 22:28:39 -04:00 • committed by Andrew J. Hesford
parent 58e93e7dc2
commit 2d4f70d003
2 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/jedit/files/jedit
View file

@ -1,10 +1,8 @@
#!/bin/sh #!/bin/sh
# openjdk11 is required # openjdk11 is required
. /etc/profile.d/10_openjdk11.sh
# default to gtk3, use antialiased fonts # default to gtk3, use antialiased fonts
exec "${JAVA_HOME}/bin/java" \ exec "/usr/lib/jvm/openjdk11/bin/java" \
-Djdk.gtk.version=3 \ -Djdk.gtk.version=3 \
-Dawt.useSystemAAFontSettings=on \ -Dawt.useSystemAAFontSettings=on \
-Dswing.aatext=true \ -Dswing.aatext=true \

4
srcpkgs/jedit/template
View file

@ -1,7 +1,7 @@
# Template file for 'jedit' # Template file for 'jedit'
pkgname=jedit pkgname=jedit
version=5.6.0 version=5.6.0
revision=1 revision=2
wrksrc=jEdit wrksrc=jEdit
hostmakedepends="apache-ant openjdk11 docbook-xsl" hostmakedepends="apache-ant openjdk11 docbook-xsl"
depends="openjdk11 desktop-file-utils" depends="openjdk11 desktop-file-utils"
@ -19,7 +19,7 @@ post_patch() {
do_build() { do_build() {
. /etc/profile.d/apache-ant.sh . /etc/profile.d/apache-ant.sh
. /etc/profile.d/10_openjdk11.sh . /etc/profile.d/openjdk.sh
ant -propertyfile ${FILESDIR}/build.properties build ant -propertyfile ${FILESDIR}/build.properties build
ant -propertyfile ${FILESDIR}/build.properties docs-html ant -propertyfile ${FILESDIR}/build.properties docs-html