diff options
| author | Alexandre Flament <alex@al-f.net> | 2023-03-22 08:17:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 08:17:34 +0100 |
| commit | 38414355878629c0d05c8784d83c21c0d059aca3 (patch) | |
| tree | 5aca62e216f76e5475f744c4b248dab27a370699 /.devcontainer/Dockerfile | |
| parent | 41823da1b2001c2c14cce7743f224767099c8095 (diff) | |
| parent | 7b711cb15d11ca9f090ca06c909eab57adf5c316 (diff) | |
Merge pull request #2274 from searxng/codespaces
Add GitHub Codespaces configuration
Diffstat (limited to '.devcontainer/Dockerfile')
| -rw-r--r-- | .devcontainer/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
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 |