[sage-devel] Re: images lacking on docker hub

I've opened PR #36047 which creates a GitHub workflow to produce the Docker Hub images automatically again. seb@gmail.com schrieb am Donnerstag, 20. Juli 2023 um 08:09:51 UTC+2: > Releases 9.8 and 10.0 are available on DockerHub sagemath/sagemat

[sage-devel] Re: images lacking on docker hub

Releases 9.8 and 10.0 are available on DockerHub sagemath/sagemath , now. The temporary repository soehms/sagemath I've removed again. Frédéric Chapoton schrieb am Sonntag, 16. Juli 2023 um 16:39:31 UTC+2: > yes, stable versi

[sage-devel] Re: images lacking on docker hub

yes, stable versions would be good enough. And not too much work, hopefully. So, please ask Julian to be added to the sagemath organisation on dockerhub. Frederic Le dimanche 16 juillet 2023 à 13:38:47 UTC+2, seb@gmail.com a écrit : > > I successfully built one for stable 10.0, two weeks a

[sage-devel] Re: images lacking on docker hub

I successfully built one for stable 10.0, two weeks ago using the current version of the docker/Dockerfile following the instructions given there (in section HOWTO use this file to manually create new images for Docker Hub). I haven't really used it yet. However, Sage 10.0 starts and works unle

[sage-devel] Re: images lacking on docker hub

Hello, Anybody with some docker expertise who would like to help us having up-to-date docker images on dockerhub ? Frederic Le jeudi 11 mai 2023 à 15:32:28 UTC+2, julian...@fsfe.org a écrit : > Btw., I recently applied for "Sponsored OSS" status on the Docker Hub > which was finally granted.

Re: [sage-devel] Re: images lacking on docker hub

I have zero experience with docker images (never used one, never built one). So I would rather let the task to somebody more knowledgeable in the matter. Better to automatize of course, but at least one could manually make images for 9.8 and 10.0 so that people can use them soon. Frederic Le

[sage-devel] Re: images lacking on docker hub

Btw., I recently applied for "Sponsored OSS" status on the Docker Hub which was finally granted. So we can now have more then 3 user accounts with write access (until now it was mkoeppe, a bot user and myself.) Please contact me if you want to be added as a maintainer. On Thursday, May 11, 2023

Re: [sage-devel] Re: images lacking on docker hub

I realized that one of my messages never got to the mailing list. If we agree that we would like to keep having this, then we should move the > old gitlab workflow to GitHub. > I have minimal experience building dockers, but these are quite convenient > when you suddenly break your sage due to som

[sage-devel] Re: images lacking on docker hub

Sorry, I didn't see this thread. I do have the credentials for docker hub. I am happy to share them with anybody who wants to help with maintaining the docker images. (I don't use the docker images anymore myself so I do not really maintain them anymore. Also, the automatic infrastructure that

Re: [sage-devel] Re: images lacking on docker hub

Either Julian Ruth or whoever set up https://gitlab.com/sagemath/sage I have also asked on Zulip https://sagemath.zulipchat.com/#narrow/stream/271070-help---build/topic/Docker/near/357583892 Best, Edgar On Thu, May 11, 2023 at 8:27 AM Frédéric Chapoton wrote: > asking again : who has the right

[sage-devel] Re: images lacking on docker hub

asking again : who has the rights for the docker user *sagemathadmins* ? Frédéric Le dimanche 23 avril 2023 à 10:33:42 UTC+2, Frédéric Chapoton a écrit : > There are some instructions for that at the top of our docker/Dockerfile. > But I guess there is also a matter of rights, no ? Who is allow

[sage-devel] Re: images lacking on docker hub

There are some instructions for that at the top of our docker/Dockerfile. But I guess there is also a matter of rights, no ? Who is allowed to do that ? Maybe Julian ? Le mercredi 5 avril 2023 à 10:18:27 UTC+2, Frédéric Chapoton a écrit : > Hello, > > it seems that no recent image is available