[frankjr]

..and is not even open source (EDIT: I'm wrong, see below). Zed's remote server on the other hand seems to be OSS. One could probably install it themselves without relying on the automatic download.

https://github.com/zed-industries/zed/tree/633b665379c18a069...

[eddythompson80]

? The remote server (reh) is part of the vscode repo itself https://github.com/microsoft/vscode/tree/main/src/vs/server/... there is a vscodium and codeoss builds of it too (reh builds).

The extension that invokes it isn’t, but there are a few implementations of it that are, and I think vscodium bundles one with their build. It’s just some shell scripts that download the reh build and run it with the correct args.

[frankjr]

Hmm, are the docs outdated then or are they talking about something else?

> The Visual Studio Code Remote Development extensions and their related components use an open planning, issue, and feature request process, but are not currently open source.

https://code.visualstudio.com/docs/remote/faq#_why-arent-the...

[echoangle]

Interesting, I didn’t know the VS Code server component wasn’t open source.

[hu3]

it is though