From 3bd110941830d3330a8a6d1b8d05b03c4d47fd4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9rome=20Perrin?= <jerome@nexedi.com>
Date: Mon, 11 May 2020 06:42:47 +0200
Subject: [PATCH] software/theia: include jdk
Even if we don't use this, the debug pane cause an error when jdk is not
installed
Some optional extensions installable from the registry (like the XML
supports from redhat) also need java and it's better to have something
to edit XML
---
software/theia/software.cfg | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/software/theia/software.cfg b/software/theia/software.cfg
index d188c3538..81356ee8f 100644
--- a/software/theia/software.cfg
+++ b/software/theia/software.cfg
@@ -10,6 +10,7 @@ extends =
../../component/vim/buildout.cfg
../../component/curl/buildout.cfg
../../component/coreutils/buildout.cfg
+ ../../component/java-jdk/buildout.cfg
../../stack/slapos.cfg
../../stack/monitor/buildout.cfg
./gowork.cfg
@@ -329,7 +330,7 @@ template =
inline:
#!/bin/bash
. ${gowork:env.sh}
- export PATH=${python-language-server:location}/bin/:${cli-utilities:PATH}:$PATH
+ export PATH=${python-language-server:location}/bin/:${java-jdk:location}/bin/:${cli-utilities:PATH}:$PATH
export THEIA_DEFAULT_PLUGINS="local-dir:${theia:THEIA_DEFAULT_PLUGINS}"
# reset PS1 from gowork
export PS1='$ '
--
2.30.9