> It seems so that the large majority of us runs Linux, while others run > (free)bsd or OSX. I run macOS these days. I have used FreeBSD in the recent past as my main UNIX OS. In production, mostly GNU/Linux UNIX-like OSes have been in use.