[ws-manager] Add destkop_ide_image

gitpod-io · Oct 22, 2021 · 1398e92 · 1398e92
1 parent 4c8638c
commit 1398e92
Show file tree

Hide file tree

Showing 6 changed files with 327 additions and 227 deletions.
diff --git a/components/ws-manager-api/core.proto b/components/ws-manager-api/core.proto
@@ -290,6 +290,9 @@ message WorkspaceSpec {
 
     // The intervals in which a heartbeat must be received for the workspace not to time out
     string timeout = 7;
+
+    // desktop_ide_image is the name of the Docker image used as desktop IDE
+    string desktop_ide_image = 8;
 }
 
 // PortSpec describes a networking port exposed on a workspace
@@ -472,6 +475,9 @@ message StartWorkspaceSpec {
 
     // admission controlls who can access the workspace and its ports.
     AdmissionLevel admission = 11;
+
+    // desktop_ide_image is the Docker image name of the desktop IDE image
+    string desktop_ide_image = 12;
 }
 
 // WorkspaceFeatureFlag enable non-standard behaviour in workspaces