It would be nice to know what type of shop they were, after all in some places your OS just provides a text editor or IDE where you work on files remotely and r

It would be nice to know what type of shop they were, after all in some places your OS just provides a text editor or IDE where you work on files remotely and run in a browser off of a *NIX server. If that was the case it doesn't matter what OS they're developing in, as anyone should be able to develop in the OS and text editor of their choice so long as it can hook up to SSH.