Bug#939733: lsb-release: lsb_release does not show point release on Debian 10.1

[Santiago Vila]

On Sun, Nov 10, 2019 at 01:13:08AM +0000, Dmitry Bogatov wrote:
> 
> control: tags -1 +help
> 
> [2019-11-08 13:42] Santiago Vila <sanvila at unex.es>
> > Hi.
> >
> > I've asked the Release Managers about this here:
> >
> > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944351
> >
> > If they say yes, I'll modify base-files accordingly (for Debian 10.2).
> >
> > If they say no, please be ready to fix the bug in lsb-release as soon
> > as you can, by making an upload to proposed-updates (there is a point
> > release around the corner).
> 
> I am losing context. We have at least following three files (oh, why all
> this madness?):
> 
>  * /usr/lib/os-release
>  * /etc/os-release
>  * /etc/debian_version
> 
> So, in case of conflicts, what should override what?

Please note that /usr/lib/os-release and /etc/os-release are the same file.

AFAIK, lsb-release is already ignoring /etc/debian_version in buster,
which is the reason we have this problem.

We should either:

a) modify lsb-release so that it looks at /etc/debian_version again
(i.e. reverting the recent change)

or

b) As it has been suggested by you, fixing the problem in base-files
by including the minor version in /etc/os-release "somewhere".

I am ok with doing the change in base-files, because I believe it's
the best option in the long term.

I also believe that it would suffice to change VERSION_ID, but I need
confirmation for that.

My feeling is that Release Managers would welcome this change if it's
*limited* to VERSION_ID. Rationale: Major Release versions are integer
numbers (7, 8, 9, 10, etc), and we identify "buster" with "Debian 10",
without minor version, i.e. there should be no need
to change PRETTY_NAME or VERSION, only VERSION_ID.

So: Is this ok for you?

Thanks.