Make docker-in-docker available in Gitpod

[mkoeppe]

This can be convenient for portability testing (tox -e docker-...), in particular

• for tox -e docker-...-incremental (tox -e docker-...-incremental #34228), which needs to docker-pull multi-gigabyte images
• for developers who don't have Docker at work - because their sysadmins don't allow it
• #33103 comment:123
• add-in from https://github.com/gitpod-io/workspace-images/blob/main/chunks/tool-docker/Dockerfile

CC: @tobiasdiez @dimpase

Component: user interface

Author: Matthias Koeppe

Branch/Commit: 72925f0

Reviewer: Kwankyu Lee

Issue created by migration from https://trac.sagemath.org/ticket/34255

[mkoeppe]

Branch: u/mkoeppe/make_docker_in_docker_available_in_gitpod

[sagetrac-git]

Commit: b35341e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

b35341e

docker/.gitpod.Dockerfile: Install some basic system package

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

72925f0

docker/.gitpod.Dockerfile: Install lsb-release

[sagetrac-git]

Changed commit from b35341e to 72925f0

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

comment:6

Ready for review

[kwankyu]

comment:8

I am positive with the branch.

This branch seems to add a slight amount of time to the already long time that gitpod takes just to get to the command line prompt. Thus I wonder if the gitpod link is a useful addition to sage trac.

[mkoeppe]

comment:9

I can't say that I use gitpod regularly myself. To me the main utility of it is for situations when one is away from one's main developer machine

[kwankyu]

Reviewer: Kwankyu Lee

[kwankyu]

comment:10

LGTM. It works well.

[mkoeppe]

comment:11

Thank you!

[vbraun]

Changed branch from u/mkoeppe/make_docker_in_docker_available_in_gitpod to 72925f0