Christian Weichel
Christian Weichel
Deleting workspaces in any phase but RUNNING or STOPPED is very difficult. I reckon we should rather disable the "Delete" item in the menu if the workspace is neither running...
> Previously a workspace could be deleted in any state, what changed? I assumed that (previously) the workspace was removed from the list until all the background tasks for deleting...
> Hello! Thank you for your feedback and sorry for the late reply from my side. Unfortunately, even after consulting with devs about this, we found the LCD likely doesn't...
A rough, and still changing list of requirements we have towards IDE images: - all static assets that we need to serve before the workspace pod is up and running...
We might want to introduce a linter for images that can verify those requirements. In its first iteration that linter would just be a development tool, but could conceivably be...
First step would to be produce a working image for another IDE/editor, e.g. vim or https://github.com/JetBrains/projector-docker
In today's workspaces, prior to a regular shutdown all processes receive `SIGTERM`. They then have 15 seconds time before receiving `SIGKILL`. That's not quite as convenient as shutdown hooks, but...
Relevant discussion: https://github.com/gitpod-io/gitpod/pull/11287#issuecomment-1190241322