On Thu, Apr 2, 2015 at 11:19 AM, Lamar Owen lowen@pari.edu wrote:
On 04/02/2015 10:59 AM, Phelps, Matthew wrote:
It's not just the name of the ISO file. c.f. the VERSION_ID variable in /etc/os-release
In that particular place it is actually rather important, but that is orthogonal to the ISO name.
I agree, but this thread started off with a more general discussion of release/version numbering.