DEV Community

Discussion on: Recap of GitHub Satellite

Collapse
 
mikenikles profile image
Mike

Codespaces uses VS Code, which is a great editor but not as open source as many believe... Its foundation is open source, but none of the extensions in the Marketplace can be installed in another editor based on the open source code used for VS Code.

For true open source, I use Theia (theia-ide.org) hosted in the cloud.

I wrote about my way of working a few days ago:
mikenikles.com/blog/my-cloud-based...

Collapse
 
Sloan, the sloth mascot
Comment deleted
Collapse
 
ben profile image
Ben Halpern

not as open source as many believe

It's funny how GitHub has really not embraced open source much to date.