Remove our manual setup of vscode-java for theia...

... looks like this now just works from package.json file.
So we were effectively installing more than one copy of
the java support.
This commit is contained in:
Kris De Volder
2020-02-28 10:40:20 -08:00
parent fe5a69a140
commit 3e7c0f301e
2 changed files with 5 additions and 3 deletions

View File

@@ -1,7 +1,6 @@
#!/bin/bash
set -e
workdir=$(pwd)
vscode_java_url="https://marketplace.visualstudio.com/_apis/public/gallery/publishers/redhat/vsextensions/java/0.53.1/vspackage"
echo "workdir=${workdir}"
@@ -11,8 +10,12 @@ for i in ${workdir}/*-vsix-*/*.vsix ; do
cp "$i" ${workdir}/output/plugins/
done
#Remove readme text file because theai doesn't like it?
rm "${workdir}/output/plugins/*.txt"
# Download vscode-java 0.53.1. Higher versions require vscode-client 0.40 or higher not available in Theia
curl ${vscode_java_url} > ${workdir}/output/plugins/vscode-java.vsix
#vscode_java_url="https://marketplace.visualstudio.com/_apis/public/gallery/publishers/redhat/vsextensions/java/0.53.1/vspackage"
#curl ${vscode_java_url} > ${workdir}/output/plugins/vscode-java.vsix
ls -Rl ${workdir}/output

View File

@@ -24,7 +24,6 @@ RUN yarn --cache-folder ./ycache && rm -rf ./ycache && \
yarn theia download:plugins
ADD plugins /theia-app/plugins
RUN rm /theia-app/plugins/README.txt
ENV SHELL=/bin/bash \
THEIA_DEFAULT_PLUGINS=local-dir:/theia-app/plugins