Red Hat Linux没有改名吗？

Question

我可以发誓，大约几年前，有一些关于红帽更改名称的重大新闻，因为它“听起来太奇怪”或类似的东西。不是Red Hat Linux 吗？我不记得它应该叫什么，而且现在我找不到任何提及这一点的内容。

这是我梦到的吗？这是一个重大骗局吗？我记得对此进行了长时间的讨论，以及 IBM 如何给红帽的棺材上钉上最后一颗钉子等等。

这是否又是我在不知不觉中在多个平行维度之间随意跳跃的又一情况？