Re:GitHub’s engineering team has moved to Codespaces
by int_19h on Wednesday August 11, 2021 @01:17PM
(#28144830)
An IDE needs to be able to do more than just edit files, though - e.g. for debugging, it needs to know how to run the code on the remote box, and it'll be different from local.
[ Parent
| on HN ]
There are no comments on this comment yet.