diff --git a/ci/Dockerfile b/ci/Dockerfile index 55c7d61..c2b8a41 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -8,7 +8,7 @@ USER root ENV QUARTO_CLI=https://github.com/quarto-dev/quarto-cli/releases/download/v1.3.433/quarto-1.3.433-linux-amd64.deb -ENV CODE_EXT_DIR=/opt/code-server/extensions +ENV VSCODE_EXT_DIR=/opt/code-server/extensions RUN mkdir -p ${VSCODE_EXT_DIR} && chown -R ${NB_USER}: ${VSCODE_EXT_DIR} RUN wget -O /tmp/quarto.deb ${QUARTO_CLI} && dpkg -i /tmp/quarto.deb && rm -rf /tmp/quarto.deb && apt-get clean