diff --git a/ci/Dockerfile b/ci/Dockerfile index 69fdd3a..c2b8a41 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -8,6 +8,9 @@ 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 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 USER ${NB_USER} @@ -16,8 +19,7 @@ WORKDIR ${HOME}/.kernels RUN chmod +x install-kernels.sh && cd /home/jovyan/.kernels && ./install-kernels.sh environments -RUN mkdir -p /opt/code-server/extensions && \ - echo "extensions-dir: /opt/code-server/extensions" >> $HOME/.config/code-server/config.yaml && \ +RUN echo "extensions-dir: $VSCODE_EXT_DIR" >> $HOME/.config/code-server/config.yaml && \ EXT_LIST="ms-python.python quarto.quarto" && \ for EXT in $EXT_LIST; do code-server --install-extension $EXT; done