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. Cheers, Emilio
