I would really like to see a Linux version. Back when I was going an embedded development course, we were working in teams while writing the code for a couple of MCUs for a CAN network.
The ones that had the most problems during the course were the students that were developing on Windows, they ran across problems all the time and ended up wasting a lot of valuable time on either troubleshooting or compatibility issues. We that were developing in Linux however rarely ran across any problems and could spend the time on developing instead and ended up miles ahead of those that weren't.
The teachers even said that using Linux was going to be a requirement for the next course as troubleshooting Windows takes away too much valuable time.
I would like to see Linux support. I would hazard a guess that a lot of Mbed-OS developers use Linux as well.
Please comment on this discussion if you'd like to see Linux support for Mbed Studio.