Re: Bug#759260: [summary] Bug#759260: removal of the Extra priority.

2014-11-18 Thread Matthias Urlichs
Hi, Santiago Vila: As it has been pointed out by others, whenever we have a set of mutually conflicting packages performing the same task, the package having optional priority is the one that we recommend among them. It is a way to tell the user in doubt, use this one. … which also

Processed: [summary] Bug#759260: removal of the Extra priority.

2014-11-17 Thread Debian Bug Tracking System
Processing control commands: reopen -1 Bug #759260 {Done: Gerrit Pape p...@dbnbgs.smarden.org} [debian-policy] Remove priority extra, make all corresponding packages priority optional Bug reopened Ignoring request to alter fixed versions of bug #759260 to the same values previously set tag -1

Bug#759260: [summary] Bug#759260: removal of the Extra priority.

2014-11-17 Thread Charles Plessy
Control: reopen -1 Control: tag -1 + patch [CCed everybody who contributed in #758234 and #759260, sorry if you were not interested in that part of the discussion] Hello again, Here is a summary of the discussion in #759260 (cloned from #758234), regarding the suppression of the Extra priority.

Bug#759260: [summary] Bug#759260: removal of the Extra priority.

2014-11-17 Thread Santiago Vila
On Mon, Nov 17, 2014 at 10:48:15PM +0900, Charles Plessy wrote: One of the potential uses of the Extra priority was to allow for co-installing all packages down to the Optional priority. However, this goal is not seem realistic anymore given the current size of the Debian archive, and indeed,

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Santiago Vila
Hmm. We drop things when we clearly see they have no purpose, or we see they are harmful. For example, some people claim that the rule about priorities and dependencies is actively harmful, and I think they have a point indeed. In this case, however, I fail to see the rationale for actually

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Russ Allbery
Santiago Vila sanv...@unex.es writes: In this case, however, I fail to see the rationale for actually *dropping* the extra priority, other than it's not useful for me. Well, it may be useless for you but it's still useful for me. Basically, the rationale is simplification and reducing the

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Bill Allombert
On Mon, Nov 17, 2014 at 01:59:37PM -0800, Jonathan Nieder wrote: Santiago Vila wrote: In this case, however, I fail to see the rationale for actually *dropping* the extra priority, other than it's not useful for me. Well, it may be useless for you but it's still useful for me. I have

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Jonathan Nieder
Bill Allombert wrote: On Mon, Nov 17, 2014 at 01:59:37PM -0800, Jonathan Nieder wrote: And received pushback from maintainers that don't understand what the field is for, are confused about having to maintain it in two places

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Bill Allombert
On Mon, Nov 17, 2014 at 02:29:46PM -0800, Jonathan Nieder wrote: Bill Allombert wrote: On Mon, Nov 17, 2014 at 01:59:37PM -0800, Jonathan Nieder wrote: And received pushback from maintainers that don't understand what the field is

Bug#759260: [summary] Bug#759260: removal of the Extra priority.

2014-11-17 Thread Charles Plessy
Le Mon, Nov 17, 2014 at 03:55:26PM +0100, Santiago Vila a écrit : The purpose is to allow the user to install as many optional packages as he/she wants without having to bother with conflicts. Hi Santiago, practically speaking, how do you or others use the Optional priority to check that a

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Jonathan Nieder
Hi, Charles Plessy wrote: practically speaking, how do you or others use the Optional priority to check that a package is not directly or transitively conflicting with another package ? [...] Can you give concrete examples where the Extra priority has been instrumental for you as a user or

Bug#759260: removal of the Extra priority.

2014-11-17 Thread Russ Allbery
Jonathan Nieder jrnie...@gmail.com writes: Someone asks you to install a package. If the package has priority optional, you can just install it. The vast majority of the time, it won't conflict with anything else you have installed. Yes, there are exceptions, but for this use case, them