Happy Chinese New Year!

2021-02-28 Thread Cherry
Hi Debian-java, Happy Chinese New Year! We’ve back to work, and ready to serve you all the time, thanks. Have a nice day! Thanks & Regards, Cherry Hu |Sales Manager SHENZHEN PLUXLED LIGHTING CO., LIMITED. 4F,Building 4, Huafeng Zhen

Re: Potential bug in openjdk-11 on mips64el

2021-02-28 Thread Olek Wojnar
Update: I see that a new version of OpenJDK 11 is currently building for mips64el. Does this new version address the directory deletion issue? If so, then yay and thanks. If not, I'll go ahead and just report a bug against the Debian package so it's easier to track. I'm thinking Severity Important

Re: Setting JAVA_HOME

2021-02-28 Thread Emmanuel Bourg
Le 28/02/2021 à 15:26, Mechtilde a écrit : > at most of my Java packages i set > > export JAVA_HOME := /usr/lib/jvm/default-java > > in debian/rules You can remove it from debian/rules, unless you want to build with a specific JRE (for example Java 8 when Java 11 is the default) that's useless.

Re: Setting JAVA_HOME

2021-02-28 Thread Mechtilde
Hello Geert, at most of my Java packages i set export JAVA_HOME := /usr/lib/jvm/default-java in debian/rules Regards Mechtilde Am 28.02.21 um 15:17 schrieb Geert Stappers: > On Sun, Feb 28, 2021 at 02:43:34PM +0100, Thorsten Glaser wrote: >> On Sun, 28 Feb 2021, Geert Stappers wrote: >> >>> T

Re: Setting JAVA_HOME

2021-02-28 Thread Geert Stappers
On Sun, Feb 28, 2021 at 02:43:34PM +0100, Thorsten Glaser wrote: > On Sun, 28 Feb 2021, Geert Stappers wrote: > > > To what should JAVA_HOME be set? > > It should be unset. Also ideally, you have only ever one JRE installed. > > Everything else is a nightmare. :-) > To make this work with

Re: Setting JAVA_HOME

2021-02-28 Thread Thorsten Glaser
On Sun, 28 Feb 2021, Geert Stappers wrote: > To what should JAVA_HOME be set? It should be unset. Also ideally, you have only ever one JRE installed. Everything else is a nightmare. To make this work with Java >8 and Maven, you’ll need¹… jre-not-below-jdk

Setting JAVA_HOME

2021-02-28 Thread Geert Stappers
Hi, To what should JAVA_HOME be set? Or: Which value has JAVA_HOME for you? Yeah, simple things should be simple. Groeten Geert Stappers P.S. My travelled path https://wiki.debian.org/Java https://wiki.debian.org/JavaFAQ http://www.debian.org/doc/manuals/debian-java-faq/