Anton Kosyakov
Anton Kosyakov
We could improve to allow either to pass --plugins option multiple times or comma separated values. You also can use an env variable instead right now which supports comma separated...
I think it should be: `yarn theia start --plugins=../../plugins --plugins../../../another-plugins-folder` without any separators
@tsmaeder Is it about vscode compatibility or only about PreferenceService? I think we should add compatibility tests for change events as we did for other PreferenceService APIs: - create a...
>terminal broken is it known and going to be fixed?
it looks complicated, why do we do it?
Is there a way we auto close tabs of old workspaces or something like that, I afraid that we will break something with all smartness around events. I remember we...
There is no heartbeat, so workspace will eventually time out because of inactivity.
It in theory it should be possible to create JLab plugin which grabs workspace token from supervisor, tracks DOM events for activities (mouse, keyboard) and reports them to Gitpod API,...
IDE should have index.html and integrate supervisor as described in https://github.com/gitpod-io/gitpod/blob/c749c277e4f0ab308e143502c470b7d0690c7820/components/supervisor/frontend/src/index.ts#L7-L11 is another requirement.
You can reproduce a prebuild locally from the workspace with `gp validate --prebuild --headless`. See more info about `gp validate`: https://www.gitpod.io/docs/configure/workspaces#validate-your-gitpod-configuration