Dockerfile

FROM inf110-workspace-base:latest

# Install the coq-lsp extension for code-server
RUN code-server --install-extension ejgallego.coq-lsp

# Install the Jupyter / Python extensions for code-server
RUN code-server --install-extension ms-toolsai.jupyter
RUN code-server --install-extension ms-python.python

# Suppress error message when running git pull
RUN git config --global --add safe.directory /home/coder/tp

# Add code-server user settings
COPY user-settings.json /home/coder/.local/share/code-server/User/settings.json