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.