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.

Vít


Dne 09. 03. 21 v 19:11 Matthew Miller napsal(a):
On Tue, Mar 09, 2021 at 07:02:10PM +0100, Vít Ondruch wrote:
Are we going to move from getfedora.org to getfedoralinux.org?
Websites/design are still looking at the plan for the next generation of the
user-oriented "brochure" websites. Remember, we don't have to solve all
things immediately and at the same time.



Attachment: OpenPGP_signature
Description: OpenPGP digital signature

_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to