* Emilio Pozuelo Monfort <po...@debian.org> [180420 11:00]: > On 20/04/18 16:46, Marvin Renich wrote: > > I would also like /etc/debian_version to contain both number and name, > > but I suspect there is some resistance to this on the grounds that > > scripts may be using $(cat /etc/debian_version) for comparisons. > > Perhaps /etc/debian_codename? Since debian_version contains > > codename/sid for testing and unstable, debian_codename could just > > contain the codename. > > You already have that information in /etc/os-release and the lsb_release > command.
Thanks much! I completely missed that. Closing the bug now. Sorry for the noise. ...Marvin