|
From: Martin M. <mar...@gm...> - 2025-04-15 20:59:02
|
Hi Robert, The Docker image is on Dockerhub and the docker file can be found on github: https://github.com/jgoldfar/maxima-docker/blob/main/Dockerfile.debian The docker image on dockerhub is not up to date, because it was created two years ago. So the idea is to rebuild the image from the docker file to get the most recent version. Best regards, Martin Robert Dodier <rob...@gm...> schrieb am Di., 15. Apr. 2025, 17:58: > On Tue, Apr 15, 2025 at 6:04 AM Martin Marmsoler > <mar...@gm...> wrote: > > > Yes I found a docker I will use. I just have to rebuild it to get the > latest version and then I can integrate in my CI > > Can I ask from where you obtained the Docker image? The key point is > whether you will automatically get the latest & greatest Maxima from > Git or an equivalent tarball or whatever. I am a little concerned to > ensure that you get an up-to-date version -- there appear to be a > number of Maxima installation packages of various flavors which can be > located on the web, and some of them are out of date. > > best, > > Robert > |