Hi,
Thank you for this opportunity, here is my wishlist, mostly focused on making
packaging easier,
especially for people unfamiliar with the Debian packaging system (like me):
1/ Make the Debian version of maven able to locate its own plugins.
Simplest example I could come up with.
- Followi
- Original Message ---
On Thursday, April 20th, 2023 at 19:29, gregor herrmann
wrote:
>
>
> On Wed, 19 Apr 2023 09:48:54 +, Loïc Rouchon wrote:
>
> > Debian would need to provide a way to perform the "JRE with exact java
> > $version exists"
> >
--- Original Message ---
On Wednesday, April 19th, 2023 at 09:18, Thorsten Glaser
wrote:
> Besides, what’s compatible? Some things may run with an older/newer
> JRE but others won’t.
If I follow this line of thinking, it means:
* You should not depend on java11-runtime-headless virtua
Hi,
> I’m a bit wary of auto-selecting something. I’d instead check whether
> ${JAVA:-java} has the right version and complain when not. Possibly
> check whether $JAVA_HOME is set (which it isn’t in a regular Debian
> one-JRE installation) and use that if suitable instead of complaining.
> (Where
4 matches
Mail list logo
