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

[Sam Doran]

Santiago,

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

---

Respectfully,

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>