Linus Torvalds both companies went public and Torvalds's share value temporarily shot up to roughly US$20 million. His personal mascot is a penguin nicknamed Tux, which has been widely adopted by the Linux community as the mascot of the Linux kernel. Although Torvalds believes "open source is the only right way to do software", he also has said that he uses the "best tool for the job", even if that includes proprietary software. He was criticized for his use and alleged advocacy of the proprietary BitKeeper software for version control in the Linux kernel. Torvalds subsequently wrote a free-software replacement for BitKeeper
Fedora (operating system) installed using the DNF package manager or GNOME Software. Additionally, extra repositories can be added to the system, so that software not available in Fedora can be installed easily. Software that is not available via official Fedora repositories, either because it doesn't meet Fedora's definition of free software or because its distribution may violate US law, can be installed using third-party repositories. Popular third-party repositories include RPM Fusion free and non-free repositories. Fedora also provides users with an easy-to-use build system for creating their own repositories called Copr. Since the release of Fedora 25, the operating system defaults to the