I’m a developer at Amazon and was at Disney before (both very corporate environments). In both companies I run Linux on my laptop/desktop as my primary development machine.