My company’s official OS is Windows 10. GNU/Linux is not allowed, not even Ubuntu or Red Hat. PAINFUL.
But lately, not so much, since there is Windows Subsystem for Linux.
Of course, I’m not going to want to use Ubuntu, I want the distribution, Arch Linux.