Toshio Kuratomi <a.badger <at> gmail.com> writes: > We could just put the release number into those files and keep the release > name in our heads, I suppose. There wouldn't be a technical downside to > that but I don't know whether people would like that socially or not.
When I said "release name" I meant just the non-numerical reference. So for example the F19 version of /etc/fedora-release could have just been "Fedora release 19", not "Fedora release 19 (Schrödinger’s Cat)". If this was acceptable, the release name could use any characters whatsoever, even the Batman symbol (a Family Guy reference). -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
