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.