software/theia: add a SlapOS logo

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance]
 filename = instance.cfg.in
-md5sum = 3bc174f9ec19721ab21491eb51cc45b7
+md5sum = 20ed8af8526775d0da936e38f6c68ba0
 
 [yarn.lock]
 filename = yarn.lock
@@ -31,4 +31,8 @@ md5sum = 8157c22134200bd862a07c6521ebf799
 
 [slapos.css.in]
 filename = slapos.css.in
-md5sum = 456dd5931e7c86456c69af062a2d2368
+md5sum = d2930ec3ef973b7908f0fa896033fd64
+
+[logo.png]
+filename = logo.png
+md5sum = 97bd0f828ffbac2681af0f4bd72cba27

software/theia/instance.cfg.in

@@ -54,7 +54,7 @@ template = inline:
     root $${directory:frontend-static}
     browse
     proxy / $${theia-instance:base-url} {
-      except $${frontend-instance-fonts:folder-name} $${frontend-instance-slapos.css:folder-name} public $${favicon.ico:filename}
+      except $${frontend-instance-fonts:folder-name} $${frontend-instance-slapos.css:folder-name} public $${favicon.ico:filename} $${frontend-instance-logo:filename}
     }
     proxy /services $${theia-instance:base-url} {
       websocket
@@ -95,11 +95,20 @@ command =
   ln -s ${jetbrains-mono-fonts:location} $${:location}/jetbrains-mono
 stop-on-error = true
 
+[frontend-instance-logo]
+recipe = plone.recipe.command
+filename = logo.png
+command =
+  ln -s ${logo.png:output} $${directory:frontend-static}/$${:filename}
+stop-on-error = true
+
 [frontend-instance-slapos.css]
 recipe = slapos.recipe.template:jinja2
 template = ${slapos.css.in:output}
 rendered = $${directory:frontend-static}/$${:folder-name}/slapos.css
 folder-name = css
+context =
+  key logo_image frontend-instance-logo:filename
 
 [frontend-reload]
 recipe = slapos.cookbook:wrapper

software/theia/slapos.css.in

+/* logo */
+.theia-icon {
+    background-image: url('/{{ logo_image }}');
+    background-size: contain;
+    background-repeat: no-repeat;
+}
+
 /* Source Code Pro */
 @font-face{
     font-family: 'Source Code Pro';

software/theia/software.cfg

@@ -163,6 +163,9 @@ THEIA_DEFAULT_PLUGINS = ${:location}/plugins/
 [slapos.css.in]
 <= template-base
 
+[logo.png]
+<= template-base
+
 [package.json]
 recipe = slapos.recipe.template:jinja2
 # this comes from https://github.com/theia-ide/theia-apps/blob/a54aaa676e3db07d22ab75dde9f3447576135b4d/theia-full-docker/latest.package.json