From c17d0a51f3fc696d69447027e28e018bfb34ef4f Mon Sep 17 00:00:00 2001 From: Christophe Vila Date: Sat, 20 Sep 2025 21:04:56 +0200 Subject: [PATCH] update Dockerfile --- .devcontainer/server/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/server/Dockerfile b/.devcontainer/server/Dockerfile index 359c86f..19157b0 100644 --- a/.devcontainer/server/Dockerfile +++ b/.devcontainer/server/Dockerfile @@ -35,7 +35,7 @@ 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 +#ENV IDEA_VM_OPTIONS=/home/ubuntu/.local/share/jetbrains/vmoptions/idea.vmoptions # Set the working directory WORKDIR /home/ubuntu