From 415edb91b36e468f0a38e0235b15483f65bcb655 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Pupier?= Date: Fri, 17 Sep 2021 14:13:02 +0200 Subject: [PATCH] use Theia with a backport of fix for VS Code AtlasMap MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Aurélien Pupier --- build.include | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.include b/build.include index 5791f13c6..c7cbdda39 100644 --- a/build.include +++ b/build.include @@ -11,10 +11,10 @@ set -e set -u IMAGE_TAG="next" -THEIA_GITHUB_REPO="eclipse-theia/theia" +THEIA_GITHUB_REPO="apupier/theia" THEIA_VERSION="master" -THEIA_BRANCH="master" -THEIA_COMMIT_SHA="9f4f56e388109178dbfed244522bbe49ba474c31" +THEIA_BRANCH="BackportAtlasMapModif" +THEIA_COMMIT_SHA="7b1da69e00416eee6de22b870ea473a54b863e1d" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION= SHA1_SUFFIX=