search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.28k stars 438 forks source link

.devcontainer/develop-docker-sagemath #35976

Open mkoeppe opened 1 year ago

mkoeppe commented 1 year ago

As current Docker images are available again (https://groups.google.com/g/sage-devel/c/eJ_OicQXM8Y - thanks @soehms), we should resurrect .devcontainer/develop-docker-sagemath

https://doc.sagemath.org/html/en/developer/portability_testing.html#using-our-pre-built-docker-images-for-development-in-vs-code

soehms commented 1 year ago

As current Docker images are available again (https://groups.google.com/g/sage-devel/c/eJ_OicQXM8Y - thanks @soehms), we should resurrect .devcontainer/develop-docker-sagemath

https://doc.sagemath.org/html/en/developer/portability_testing.html#using-our-pre-built-docker-images-for-development-in-vs-code

At the moment I've just uploaded the small images (sagemath/sagemath, not sagemath/sagemath-dev) and only these for stable releases (9.8 and 10.0). Is this sufficient?

mkoeppe commented 1 year ago

It looks like I may have misremembered, and we actually only had .devcontainer/downstream-docker-sagemath (removed in b29dfa784916838ec3f21ad26db340bf5602b190), which uses sagemath/sagemath.

soehms commented 1 year ago

It looks like I may have misremembered, and we actually only had .devcontainer/downstream-docker-sagemath (removed in b29dfa7), which uses sagemath/sagemath.

The sagemath/sagemath:develop tags on Docker Hub will be auto-generated again, as soon as #36047 is merged and the cooresponding credentials secrets.DOCKERHUB_USERNAME and secrets.DOCKERHUB_TOKEN are present in the upstream repository.