diff options
| author | Iwan Aucamp <aucampia@gmail.com> | 2022-07-20 15:08:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-20 15:08:31 +0200 |
| commit | 93963ee9027c782ea5aafbae3c0a152b6178799e (patch) | |
| tree | 66968ba5a2bbf54b5ad694f44fd75036fa57456a /Dockerfile.devcontainer | |
| parent | 92c94006dfb8a1a465326d7ec885ea41abb5732c (diff) | |
| download | rdflib-93963ee9027c782ea5aafbae3c0a152b6178799e.tar.gz | |
build: Gitpod integration and Google Cloud Shell Button (#2034)
Add Gitpod integration mainly intended to make it easier for
contributors to work with RDFLib.
Other changes:
- Add a button for Google cloud shell integration, it is maybe not as
nice as Gitpod but it provides a lot more free hours than Gitpod and it
does work with the devcontainer based workflow even if the editor does
not integrate with devcontainers directly.
- Removed additional python versions from the devcontainer dockerfile.
This is mainly to make the devcontainer less unwieldy and quicker to
build.
- Slim down the devcontainer Dockerfile by removing some unneeded
packages, this will make it faster to build.
Diffstat (limited to 'Dockerfile.devcontainer')
| -rw-r--r-- | Dockerfile.devcontainer | 29 |
1 files changed, 7 insertions, 22 deletions
diff --git a/Dockerfile.devcontainer b/Dockerfile.devcontainer index ed071e44..0449df11 100644 --- a/Dockerfile.devcontainer +++ b/Dockerfile.devcontainer @@ -4,7 +4,7 @@ ENV DEBIAN_FRONTEND="noninteractive" TZ="Etc/UTC" RUN \ apt-get update && \ - apt-get install -y \ + apt-get install -y --no-install-recommends \ make \ curl \ git \ @@ -13,43 +13,27 @@ RUN \ true RUN \ - apt-get install -y \ + apt-get install -y --no-install-recommends \ libdb-dev \ libjpeg-dev \ && \ true RUN \ - apt-get install -y \ - default-jdk \ + apt-get install -y --no-install-recommends \ + default-jre-headless \ && \ true RUN \ - apt-get install -y \ + apt-get install -y --no-install-recommends \ software-properties-common \ && \ - add-apt-repository ppa:deadsnakes/ppa && \ - apt-get install -y \ + apt-get install -y --no-install-recommends \ python3 \ python3-pip \ python3-dev \ python3-venv \ - python3.7 \ - python3.7-dev \ - python3.7-venv \ - python3.8 \ - python3.8-dev \ - python3.8-venv \ - python3.9 \ - python3.9-dev \ - python3.9-venv \ - python3.10 \ - python3.10-dev \ - python3.10-venv \ - python3.11 \ - python3.11-dev \ - python3.11-venv \ python-is-python3 \ && \ python --version && \ @@ -62,6 +46,7 @@ COPY docs/sphinx-requirements.txt /var/tmp/docs/sphinx-requirements.txt RUN \ cd /var/tmp/ && \ + grep -H . requirements*.txt docs/sphinx-requirements.txt && \ python -m pip install --upgrade \ -r requirements.txt \ -r requirements.dev.txt \ |