Re: Updating /etc/debian_version and related files

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

Hi,

On 2013-05-31 9:51, Santiago Vila wrote:
> We usually update /etc/debian_version at every point release.
> AFAIK, this is what everybody wants.

Agreed.

> So I have three proposals, in order of preference:
>
> * The "good": Update the four files at every point release, as in the
> first patch. This fixes #621757 and I think it is the logical thing 
> to
> do.
>
> * The "ugly": Update only /etc/debian_version, as in squeeze, but fix
> the mistake of specifying "7.0" when in fact that will only be true
> for Debian 7.0 and not Debian 7.1. This would be the second patch.

We've had a quick chat about this, and our preference would be for the 
option you've termed "ugly". Now that we've stopped using the three part 
versioning, it seems more logical for wheezy to be "Debian 7" and for 
the issue files to reflect that.

Regards,

Adam