Bug#820857: java-package: Generated JDK package should have higher priority than existing openjdk packages

[Jan Henke]

Hi,

I would prefer this. An extra option while creating the package to give it the highest priority.

Markus, while in principle I agree with you, sadly my job requires me to use the propritary JDK. I do think this use case should be as simple as possible and not made more difficult "because it is non free software".

Best Regards,
Jan Henke



Jan Henke | Softwareentwickler
Hugendubel Digital GmbH & Co. KG
Friesenweg 1 | D-22763 Hamburg
Telefon: +49 (0)40 851 94 - 109 | Telefax: +49 (0)40 851 94 - 113
E-Mail: jhenke at hugendubel-digital.de

www.hugendubel.de – Die Welt der Bücher
www.eBook.de – Meine Bücher immer dabei
_________________________________________________________

Geschäftsführung: Per Dalheimer, Dr. Stefan Höllermann
Umsatzsteuer ID: DE300667265 | AG Hamburg HRA 118925
_________________________________________________________

-----Original Message-----
From: Emmanuel Bourg [mailto:emmanuel.bourg at gmail.com] On Behalf Of Emmanuel Bourg
Sent: Wednesday, April 13, 2016 10:29 AM
To: 820857 at bugs.debian.org; Jan Henke
Subject: Re: Bug#820857: java-package: Generated JDK package should have higher priority than existing openjdk packages

Le 13/04/2016 10:04, Markus Koschany a écrit :

> I don't think we should change the current behavior and mark this bug as
> wontfix because there will always be people who will argue for or
> against this proposal.

We could also add a parameter to change the priority when the package is
generated. That would satisfy both views.

Emmanuel Bourg