On Wed, Mar 10, 2021 at 09:27:49AM +0100, Vít Ondruch wrote: > How about changing /etc/redhat-release ? I am specifically asking > this in the context of Vagrant, which seems to use this file to > detect Fedora.
That does seem to be set from NAME, and Vagrant does this: https://github.com/hashicorp/vagrant/blob/main/plugins/guests/fedora/guest.rb machine.communicate.test("grep 'Fedora release' /etc/redhat-release") I'll file an issue. Thanks. -- Matthew Miller <[email protected]> Fedora Project Leader _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
