Make docker images from tox/GitHub CI workflow, regular Sage Docker images, gitpod, CoCalc interoperable
Reported by: 
Matthias Köppe 
Owned by: 

Priority:

major

Milestone:

sage9.8

Component:

docker

Keywords:

ci, docker, ContinuousIntegration, sd109

Cc:

ghkliem, Dima Pasechnik, Erik Bray, Julian Rüth, Samuel Lelièvre, Frédéric Chapoton, Tobias Diez, William Stein, Marc Culler, Nathan Dunfield

Merged in:


Authors:


Reviewers:


Report Upstream:

N/A

Work issues:


Branch:


Commit:


Dependencies:


Stopgaps:


 Adjust directory names to something that works for both cases ...
docker/Dockerfile
currently has:
SAGE_ROOT=/home/sage/sage
SAGE_LOCAL=$SAGE_ROOT/local
 Docker images built with tox/GH Actions (including Gitpod) and also
computop/sage
have:
SAGE_ROOT=/sage
SAGE_LOCAL=/sage/local
 After this ticket:
SAGE_ROOT=/sage
SAGE_LOCAL=/opt/sage
 CoCalc Docker image has:
SAGE_ROOT=/usr/local/sage
SAGE_LOCAL=/usr/local/sage/local
 #33851: Define a script package representing "useful stuff to have on a Docker image"
 Replace all
aptget
in docker/Dockerfile
by using a Docker image built using build/bin/writedockerfile
as the base image.
 By default,
docker/Dockerfile
would use configure withoutsystem...
a lot so that CI is done against "the reference distribution"
 Move
build/bin/writedockerfile.sh
into docker/
 Add a mechanism (environment variable) to
tox e docker...
to copy SAGE_LOCAL from a given Docker image.
Change History (35)
Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sagewishlist →
sage9.2

Description: 
modified (diff)

Cc: 
Frédéric Chapoton added

Milestone: 
sage9.2 →
sage9.3

Milestone: 
sage9.3 →
sage9.4

Description: 
modified (diff)

Summary: 
Make docker images from GitHub CI workflow and regular Sage Docker images interoperable →
Make docker images from tox/GitHub CI workflow and regular Sage Docker images interoperable

Milestone: 
sage9.4 →
sage9.5

Milestone: 
sage9.5 →
sage9.6

Description: 
modified (diff)

Summary: 
Make docker images from tox/GitHub CI workflow and regular Sage Docker images interoperable →
Make docker images from tox/GitHub CI workflow, regular Sage Docker images, and gitpod interoperable

Milestone: 
sage9.6 →
sage9.7

Description: 
modified (diff)

Dependencies: 
#30960 →
#33740

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Branch: 
→ u/mkoeppe/make_docker_images_from_tox_github_ci_workflow__regular_sage_docker_images__and_gitpod_interoperable

Commit: 
→ 58e112ab36ecec775199528c66e4b6e5535ad953

Branch: 
u/mkoeppe/make_docker_images_from_tox_github_ci_workflow__regular_sage_docker_images__and_gitpod_interoperable

Commit: 
58e112ab36ecec775199528c66e4b6e5535ad953

Dependencies: 
#33740

Summary: 
Make docker images from tox/GitHub CI workflow, regular Sage Docker images, and gitpod interoperable →
Make docker images from tox/GitHub CI workflow, regular Sage Docker images, gitpod, CoCalc interoperable

Description: 
modified (diff)

Description: 
modified (diff)

Cc: 
Marc Culler Nathan Dunfield added

Milestone: 
sage9.7 →
sage9.8

by the way, we don't seem to have in docs an explanation regarding file shared between docker images and regular file system of the host system.