gapsystem/gap-docker-master repository overview

⁠Docker container for GAP development version

DockerHub entry: https://registry.hub.docker.com/u/gapsystem/gap-docker-master/⁠

This container provides the core GAP system build from the master branch of the GAP repository⁠ and GAP packages prepared for the next major release of GAP.

If you have installed Docker⁠, to use this container first you need to download it using

docker pull gapsystem/gap-docker-master

(the same command is needed if you need to update the GAP container to get a new GAP release). After that, you can start it as follows:

docker run --rm -i -t gapsystem/gap-docker-master

Note that you may have to run docker with sudo, particularly if you are on Ubuntu.

The location of GAP in the container is /home/gap/inst/gap-master.

For more details (e.g. on how to access GAP running in this Docker container from a Jupyter notebook in your browser) see the readme of https://github.com/gap-system/gap-docker⁠ and simply replace gap-docker by gap-docker-master.