Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Install vscode extensions, attempt #3 #32

Merged
merged 2 commits into from
Jun 20, 2024
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Simple install of extensions, extensions dir set by conda code-server
  • Loading branch information
ateucher committed Jun 19, 2024
commit ec0951a17fa43db6fa5f586c7645079ff219fcba
7 changes: 2 additions & 5 deletions ci/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,6 @@ COPY --chown=jovyan:jovyan . /home/jovyan/.kernels
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

Expand All @@ -19,8 +16,8 @@ WORKDIR ${HOME}/.kernels

RUN chmod +x install-kernels.sh && cd /home/jovyan/.kernels && ./install-kernels.sh environments

RUN echo "extensions-dir: $VSCODE_EXT_DIR" >> $HOME/.config/code-server/config.yaml && \
EXT_LIST="ms-python.python quarto.quarto" && \
# Install VSCode extensions. These get installed to $CONDA_PREFIX/envs/notebook/share/code-server/extensions/
RUN EXT_LIST="ms-python.python quarto.quarto" && \
for EXT in $EXT_LIST; do code-server --install-extension $EXT; done

ENV JUPYTERHUB_HTTP_REFERER=https://openscapes.2i2c.cloud/
Expand Down