[server] Add and use supervisor image config

Author: corneliusludmann

chart/templates/server-ide-configmap.yaml

@@ -48,6 +48,7 @@ data:
         "ideVersion": "{{ .Values.components.workspace.codeImage.stableVersion }}",
         "ideImageRepo": "{{ template "gitpod.comp.imageRepo" (dict "root" . "gp" $.Values "comp" .Values.components.workspace.codeImage) }}",
         "ideImageAliases": {{ (include "ide-images-aliases" (dict "root" . "gp" $.Values)) | fromYaml | toJson }},
-        "desktopIdeImageAliases": {{ (include "desktop-ide-images-aliases" (dict "root" . "gp" $.Values)) | fromYaml | toJson }}
+        "desktopIdeImageAliases": {{ (include "desktop-ide-images-aliases" (dict "root" . "gp" $.Values)) | fromYaml | toJson }},
+        "supervisorImage": "{{ template "gitpod.comp.imageFull" (dict "root" . "gp" $.Values "comp" .Values.components.workspace.supervisor) }}"
     }
 {{- end }}

components/gitpod-protocol/src/workspace-instance.ts

@@ -209,4 +209,7 @@ export interface WorkspaceInstanceConfiguration {
 
     // desktopIdeImage is the ref of the desktop IDE image this instance uses.
     desktopIdeImage?: string
+
+    // supervisorImage is the ref of the supervisor image this instance uses.
+    supervisorImage?: string;
 }

components/server/src/ide-config.ts

@@ -18,6 +18,7 @@ interface RawIDEConfig {
     ideImageRepo: string;
     ideImageAliases?: { [index: string]: string };
     desktopIdeImageAliases?: { [index: string]: string };
+    supervisorImage: string;
 }
 const scheme = {
     "type": "object",
@@ -36,10 +37,14 @@ const scheme = {
             "type": "object",
             "additionalProperties": { "type": "string" }
         },
+        "supervisorImage": {
+            "type": "string"
+        },
     },
     "required": [
         "ideVersion",
-        "ideImageRepo"
+        "ideImageRepo",
+        "supervisorImage",
     ]
 };
 
@@ -49,6 +54,7 @@ export interface IDEConfig {
     ideImageAliases: { [index: string]: string };
     desktopIdeImageAliases: { [index: string]: string };
     ideImage: string;
+    supervisorImage: string;
 }
 
 @injectable()
@@ -120,7 +126,7 @@ export class IDEConfigService {
                     },
                     desktopIdeImageAliases: {
                         ...raw.desktopIdeImageAliases
-                    }
+                    },
                 }
             }
 

components/server/src/workspace/workspace-starter.ts

@@ -309,6 +309,7 @@ export class WorkspaceStarter {
         const configuration: WorkspaceInstanceConfiguration = {
             theiaVersion: ideConfig.ideVersion,
             ideImage: ideConfig.ideImage,
+            supervisorImage: ideConfig.supervisorImage,
         };
 
         const ideChoice = user.additionalData?.ideSettings?.defaultIde;
@@ -747,6 +748,7 @@ export class WorkspaceStarter {
         const startWorkspaceSpecIDEImage = new IDEImage();
         startWorkspaceSpecIDEImage.setWebRef(ideImage);
         startWorkspaceSpecIDEImage.setDesktopRef(instance.configuration?.desktopIdeImage || "");
+        startWorkspaceSpecIDEImage.setSupervisorRef(instance.configuration?.supervisorImage || "");
         spec.setIdeImage(startWorkspaceSpecIDEImage);
         spec.setDeprecatedIdeImage(ideImage);
         spec.setWorkspaceImage(instance.workspaceImage);