From 8a7e08e0a80ef0e25a4d9cd3d48106345e7e4e45 Mon Sep 17 00:00:00 2001 From: Igor Vinokur Date: Tue, 9 Jul 2019 16:08:39 +0300 Subject: [PATCH] Fix git clone on page refresh --- dockerfiles/theia/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfiles/theia/Dockerfile b/dockerfiles/theia/Dockerfile index f8c33b7a9..d2286021b 100644 --- a/dockerfiles/theia/Dockerfile +++ b/dockerfiles/theia/Dockerfile @@ -124,7 +124,7 @@ RUN adduser -D -S -u 1001 -G root -h ${HOME} -s /bin/sh theia \ # Download yeoman generator plug-in && curl -L -o /default-theia-plugins/theia_yeoman_plugin.theia https://github.com/eclipse/theia-yeoman-plugin/releases/download/untagged-04f28ee329e479cc465b/theia_yeoman_plugin.theia \ # Download vscode git plug-in - && curl -L -o /default-theia-plugins/vscode-git-1.3.0.1.vsix https://github.com/che-incubator/vscode-git/releases/download/1.30.1/vscode-git-1.3.0.1.vsix \ + && curl -L -o /default-theia-plugins/vscode-git-1.3.0.1.vsix https://github.com/che-incubator/vscode-git/releases/download/vscode-git-1.30.1_0.0.1/vscode-git-1.30.1_0.0.1.vsix \ && for f in "${HOME}" "/etc/passwd" "/etc/group /node_modules /default-theia-plugins /projects"; do\ sudo chgrp -R 0 ${f} && \ sudo chmod -R g+rwX ${f}; \