Sandbox WASI
El proxy corre wasm32-wasip1 aislado. Un plugin que se cuelga se corta; el editor y el resto de plugins siguen.
Extensibilidad
Make it yours.
Then make it more.
Un plugin es un módulo WASI. El proxy lo ejecuta aislado, sujeto a los permisos de su volt.toml. Lo habitual es arrancar un servidor de lenguaje; el editor hace el resto.
Cómo escribir un plugin →HOSTGraphoOS
- Editor nativo
- Tráfico LSP
- Diagnósticos
WASIplugin.wasm
- wasm32-wasip1
- procesos nombrados
- red permitida
rust-analyzergoplsel tuyo
En el registro
Once plugins.
El sandbox se queda.
Rustrust-analyzer · v0.3.3050
Pythonpyright · v0.2.0
Gogopls · v0.1.0
C / C++clangd · v0.1.1
TypeScripttypescript-language-server · v0.2.0
HTMLhtml-language-server · v0.1.0
CSScss-language-server · v0.1.0
JSONjson-language-server · v0.2.0
YAMLyaml-language-server · v0.2.1
TOMLtaplo · v0.1.0
Markdownmarksman · v0.1.0
volt.toml
Lo que no está escrito,
se rechaza.
api = "1.2"
name = "graphoos-rust"
[permissions]
processes = ["rust-analyzer", "codelldb", "which"]
network = ["github.com", "*.githubusercontent.com"]Servidor de lenguaje
El plugin dice cómo arrancar el LSP. GraphoOS hace el tráfico, los diagnósticos, los símbolos y el completado.
Permisos en volt.toml
processes y network por nombre. Lo que no está escrito, se rechaza.
Open by design
Nothing hidden
behind the surface.
El host habla Plugin API 1.2. El huésped es wasm32-wasip1. Lo que no está en volt.toml, se rechaza.