Skip to content

Commit cc66022

Browse files
committed
[jb] enable shared indexes by default
1 parent 07e013e commit cc66022

File tree

2 files changed

+7
-0
lines changed

2 files changed

+7
-0
lines changed

.idea/jarRepositories.xml

Lines changed: 5 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

components/ide/jetbrains/image/leeway.Dockerfile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@ RUN apk add --no-cache --upgrade curl gzip tar unzip
99
RUN curl -sSLo backend.tar.gz "$JETBRAINS_BACKEND_URL" && tar -xf backend.tar.gz --strip-components=1 && rm backend.tar.gz
1010
COPY --chown=33333:33333 components-ide-jetbrains-backend-plugin--plugin/build/distributions/gitpod-remote-0.0.1.zip /workdir
1111
RUN unzip gitpod-remote-0.0.1.zip -d plugins/ && rm gitpod-remote-0.0.1.zip
12+
# enable shared indexes by default
13+
RUN printf '\nshared.indexes.download.auto.consent=true' >> "/workdir/bin/idea.properties"
1214

1315
FROM scratch
1416
ARG SUPERVISOR_IDE_CONFIG

0 commit comments

Comments
 (0)