diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 00000000..1041ef3f --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,16 @@ +FROM mcr.microsoft.com/devcontainers/base:ubuntu-24.04 + +RUN echo "deb http://ppa.launchpadcontent.net/deadsnakes/ppa/ubuntu noble main" > /etc/apt/sources.list.d/deadsnakes-ppa.list && \ + /usr/lib/apt/apt-helper download-file 'https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xf23c5a6cf475977595c89f51ba6932366a755776' /etc/apt/trusted.gpg.d/deadsnakes.asc + +RUN apt-get update && \ + apt-get install -y \ + just \ + python3.11 \ + python3.11-venv + +USER vscode + +# Clone cohort-extractor submodule via HTTPS. +# GitHub does not allow SSH access without adding a private key. +RUN git config --global url.https://github.com/.insteadOf git@github.com: diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 00000000..e28a252e --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,15 @@ +{ + "name": "Documentation development", + "dockerFile": "Dockerfile", + "postAttachCommand": "just run", + "customizations": { + "vscode": { + "settings": { + "extensions.ignoreRecommendations": true, + "files.autoSave": "afterDelay", + "files.autoSaveDelay": 3000, + "git.autofetch": true + } + } + } +}