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: [email protected] 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:[email protected]] On Behalf Of Emmanuel Bourg Sent: Wednesday, April 13, 2016 10:29 AM To: [email protected]; 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 __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
