Re: Bug#758234: [PATCH] Remove priority "extra", make all corresponding packages priority "optional"
On 23/08/14 17:54, Gerrit Pape wrote:
> --- a/policy.sgml
> +++ b/policy.sgml
> @@ -855,15 +855,6 @@ zope.
> distribution, and many applications. Note that
> optional packages should not conflict with each other.
That last sentence is not feasible if the 'extra' priority is abolished,
and should also be deleted by the patch. There might also be other
mentions of 'extra' vs. the other priorities (packages in extra may
conflict with other packages in the same suite, but higher priorities
are expected to be fully installable) elsewhere in Policy, which should
also be amended.
I have no opinion for or against abolishing extra at the moment; but if
we do it, then that's a necessary part of doing it right.
Perhaps it would be better to think of this change as "deleting the
optional priority and moving all optional packages to extra, then
renaming extra to optional"; or even doing that but without the rename,
so the priorities are required, important, standard, extra.
S
Reply to: