From 145527f2a7a21de1703489f1ee79ffff647b1fc5 Mon Sep 17 00:00:00 2001 From: Anton Kosyakov Date: Wed, 21 Apr 2021 11:19:09 +0000 Subject: [PATCH] [theia] fix #4025: installing big extensions --- components/ide/theia/leeway.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/ide/theia/leeway.Dockerfile b/components/ide/theia/leeway.Dockerfile index e7bfb16c4c36f5..d5454d49f04487 100644 --- a/components/ide/theia/leeway.Dockerfile +++ b/components/ide/theia/leeway.Dockerfile @@ -38,7 +38,7 @@ ENV PATH=$PATH:/usr/bin/ WORKDIR /theia -ENV THEIA_APP_COMMIT 04b3d2db03f140a9a3cd463f921fe717ce6deefe +ENV THEIA_APP_COMMIT 1ca36afb4c1b4a756d5133c06b97e01b4551bc8b RUN mkdir theia-app \ && cd theia-app \ && git init \