component/theia: version up 1.31.1

c8845442 · Jérome Perrin · 343c5d1e · c8845442 · c8845442 · c8845442
Commit c8845442 authored Nov 05, 2022 by Jérome Perrin
5 changed files
--- a/component/theia/buildout.hash.cfg
+++ b/component/theia/buildout.hash.cfg
@@ -19,7 +19,7 @@ md5sum = 8157c22134200bd862a07c6521ebf799
 [yarn.lock]
 _update_hash_filename_ = yarn.lock
-md5sum = f961f8ef90e9a02543b4231af4fbd5cc
+md5sum = 3b8ac3a6933a1d52b31c74fad8af2d8e
 [ms-python-disable-jedi-buildout.patch]
 _update_hash_filename_ = ms-python-disable-jedi-buildout.patch

--- a/component/theia/download-plugins.cfg
+++ b/component/theia/download-plugins.cfg
--- a/component/theia/generate_download_plugins_cfg.py
+++ b/component/theia/generate_download_plugins_cfg.py
@@ -17,6 +17,7 @@ for plugin_and_version in '''\
    vscode/docker/latest
    vscode/emmet/latest
    vscode/fsharp/latest
+    vscode/git-base/latest
    vscode/git/latest
    vscode/go/latest
    vscode/groovy/latest

--- a/component/theia/yarn.lock
+++ b/component/theia/yarn.lock
--- a/software/theia/software.cfg
+++ b/software/theia/software.cfg
@@ -56,7 +56,7 @@ pygls = 0.12:whl
 typeguard = 2.13.3:whl
 typing-extensions = 4.3.0:whl
 yarl = 1.7.2
-zc.buildout.languageserver = 0.8.1
+zc.buildout.languageserver = 0.8.3
 # Downloads and templates