Dev containers: implement & standardize sandboxed extensions #58834
Replies: 2 comments
|
was very new to zed upon writing this, ui extensions actually seem pretty tame and could probably run on the container too |
|
Also language servers, MCP servers, etc. These can all go into containers imo. There's a very good reason that I hard block every execution of |
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Body
What are you proposing?
extensions (language servers, debuggers, themes, etc..) could allow usage sandboxed through dev containers. In the text of https://zed.dev/docs/dev-containers#known-limitations it states extensions are not supported yet, but that the feature is still in development. Separating locally installed extensions from ones which should run sandboxed through containers is something other editors can already do, and is a useful feature.
Why does this matter?
closes #58831. sandboxing extensions is important because:
Are there any examples or context?
VSCode has dev containers and separates extensions into ui extensions / workspace extensions
Possible approach
it would be nice if extensions could all allow dev containers, although that may be overly optimistic. an alternative approach is to do what vscode does and ask an extension be designed for the workspace or for ui, but it seems more sane to me to find ways to containerize almost any given extension and leave the rest to user configuration if at all possible.
All reactions