There is no "Google version". Internally, we use the same SSH app that you would use, which works great. It's not a terminal: you can't do anything locally. But

There is no "Google version". Internally, we use the same SSH app that you would use, which works great. It's not a terminal: you can't do anything locally. But it's a perfectly decent developer environment as long as all you tools and editor are terminal or web applications (mine are).