From ce56e8f4e843c5ad8ba658c60f146a27c0f2f899 Mon Sep 17 00:00:00 2001 From: Christophe Vila Date: Sat, 20 Sep 2025 20:44:38 +0200 Subject: [PATCH] update Dockerfile --- .devcontainer/server/Dockerfile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.devcontainer/server/Dockerfile b/.devcontainer/server/Dockerfile index abf7509..6e589b8 100644 --- a/.devcontainer/server/Dockerfile +++ b/.devcontainer/server/Dockerfile @@ -6,6 +6,7 @@ RUN apt-get update \ ca-certificates \ git \ nano \ + unzip \ vim-tiny \ && apt-get auto-remove -y \ && apt-get clean -y \ @@ -15,7 +16,7 @@ RUN apt-get update \ ARG NEXUS_REPO=https://rm.vilanet.fr/repository/raw RUN --mount=type=secret,id=nexus_login,target=/tmp/nexus_login \ --mount=type=secret,id=nexus_pwd,target=/tmp/nexus_pwd \ - curl -Lo /tmp/jetbrains.zip ${NEXUS_REPO}/jetbrains.zip + curl -Lo /tmp/jetbrains.zip -u$(cat nexus_login):$(cat nexus_pwd) ${NEXUS_REPO}/jetbrains.zip ENV MAVEN_HOME=/opt/maven ENV PATH=$MAVEN_HOME/bin:$PATH @@ -31,5 +32,10 @@ RUN mkdir -p $MAVEN_HOME \ # Set the default user USER ubuntu +RUN mkdir -p /home/ubuntu/.local/share && \ + unzip -d /home/ubuntu/.local/share /tmp/jetbrains.zip + +ENV IDEA_VM_OPTIONS=/home/ubuntu/.local/share/jetbrains/vmoptions/idea.vmoptions + # Set the working directory WORKDIR /home/ubuntu