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 <mattdm@xxxxxxxxxxxxxxxxx> Fedora Project Leader _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
