On Sun, Nov 10, 2019 at 01:13:08AM +0000, Dmitry Bogatov wrote: > > control: tags -1 +help > > [2019-11-08 13:42] Santiago Vila <sanv...@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.