Bug#939733: Bug#931197: base-files: Include minor version in /etc/os-release

Sam Doran sdoran at redhat.com
Mon Nov 11 15:09:14 GMT 2019


That is correct. Changing 'VERSION_ID=10' to 'VERSION_ID=10.1' in /etc/os-release is what I am asking.



Sam Doran

> On Nov 8, 2019, at 06:16, Santiago Vila <sanvila at unex.es> wrote:
> Hi.
> Just to be sure: The proposed change would be *just* the VERSION_ID in
> /etc/os-release, which at this moment would become "10.1" instead of "10".
> Is this right?
> I ask because we have a problem in lsb-release:
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939733
> and changing /etc/os-release would be one possible way to fix the
> problem in lsb-release.
> I'm also Cc:ing the lsb-maintainers at bug #939733.
> After this is clarified, I'll ask release managers about their opinion.
> Thanks.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.chiark.greenend.org.uk/pipermail/debian-init-diversity/attachments/20191111/f6dd230d/attachment.html>

More information about the Debian-init-diversity mailing list