[jb] enable shared indexes by default

gitpod-io · Feb 11, 2022 · c49b6f7 · c49b6f7
1 parent f8151d2
commit c49b6f7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
diff --git a/components/ide/jetbrains/image/leeway.Dockerfile b/components/ide/jetbrains/image/leeway.Dockerfile
@@ -17,6 +17,9 @@ COPY --chown=33333:33333 startup.sh /ide-desktop/
 COPY --chown=33333:33333 --from=download /workdir/ /ide-desktop/backend/
 COPY --chown=33333:33333 components-ide-jetbrains-image-status--app/status /ide-desktop
 
+# enable shared indexes by default
+RUN printf '\nshared.indexes.download.auto.consent=true' >> "/ide-desktop/backend/bin/idea.properties"
+
 COPY --chown=33333:33333 components-ide-jetbrains-cli--app/cli /ide-desktop/bin/idea-cli
 ENV GITPOD_ENV_APPEND_PATH /ide-desktop/bin: