[2019-11-10 02:31] Santiago Vila <sanv...@unex.es>
> > 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.
Thank you for your patience.
> AFAIK, lsb-release is already ignoring /etc/debian_version in buster,
> which is the reason we have this problem.
Not exactly. We have following code, where get_os_release() reads
"/usr/lib/os-release", and guess_debian_release() uses several other
files, including "/etc/debian_version".
lsbinfo = get_os_release()
# OS is only used inside guess_debian_release anyway
for key in ('ID', 'RELEASE', 'CODENAME', 'DESCRIPTION',):
if key not in lsbinfo:
distinfo = guess_debian_release()
So /etc/os-release overrides /etc/debian_version. Probably, we could
drop guess_debian_release() code though, since base-files are essential.
> 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.
> So: Is this ok for you?
Yes, that is fine. As I just checked, `lsb_release -d` (as is in
Archives) will happily output anything I put into VERSION_ID variable of
Note, that I send and fetch email in batch, once in a few days.
Please, mention in body of your reply when you add or remove recepients.