From 7b711cb15d11ca9f090ca06c909eab57adf5c316 Mon Sep 17 00:00:00 2001 From: Alexandre Flament Date: Wed, 15 Mar 2023 20:04:03 +0100 Subject: Add GitHub Codespaces configuration --- .devcontainer/Dockerfile | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .devcontainer/Dockerfile (limited to '.devcontainer/Dockerfile') diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 000000000..9e5871918 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,4 @@ +FROM mcr.microsoft.com/devcontainers/base:debian + +RUN apt-get update && \ + apt-get -y install python3 python3-venv redis firefox-esr graphviz imagemagick librsvg2-bin fonts-dejavu shellcheck -- cgit v1.2.3