images lacking on docker hub

[Frédéric Chapoton]

Hello,

it seems that no recent image is available on docker hub:

https://hub.docker.com/search?q=sagemath%2Fsage

In particular, 9.8 is not there.

Is there a way to manually update that, if there is no automatic mechanism to do the job ?

Frédéric

[Frédéric Chapoton]

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 ?

[Frédéric Chapoton]

asking again : who has the rights for the docker user sagemathadmins ?

Frédéric

[Edgar Costa]

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

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/46326268-9d68-4d69-a3b9-75740674a215n%40googlegroups.com.

[julian...@fsfe.org]

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 we used to update them broke years ago which makes the process quite a bit of work. With each release of SageMath, something in the build process breaks typically. We could migrate this to GitHub workflows but it's also a fair amount of work and, again since I am not using the images, I don't feel very motivated to champion that process.)

julian

[Edgar Costa]

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 some external library upgrade or when you are trying to use a code that was written for a version of the past.

I am happy to help with maintaining the docker images.

But maybe first I should try to build them myself :)

--

You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a3d93928-3b4f-4ed1-a5ed-e29aa2275d72n%40googlegroups.com.

[julian...@fsfe.org]

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.

[Frédéric Chapoton]

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

[Frédéric Chapoton]

Hello,

Anybody with some docker expertise who would like to help us having up-to-date docker images on dockerhub ?

Frederic

[seb....@gmail.com]

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 unless you try to use IPython magics (for example ? to read the documentation). If you do that, it crashes (but so does the 9.7 image). Yesterday I pushed that to my private Docker account. Therefore, for the time being it can be used at your own risk via docker run -it soehms/sagemath:10.0. I can try to do the same for 9.8.

Frederic, would a restriction to the stable versions be acceptable to you? I would like to have a continuation of the Docker images, too. But I can relinquish development versions since for this use case there are other alternatives, such as Gitpod. Maybe it would simplify things if we only continued stable releases on DockerHub.

Sebastian

[Frédéric Chapoton]

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

[seb....@gmail.com]

Releases 9.8 and 10.0 are available on DockerHub sagemath/sagemath, now. The temporary repository soehms/sagemath I've removed again. 

[seb....@gmail.com]

I've opened PR #36047 which creates a GitHub workflow to produce the Docker Hub images automatically again.