gap-system / gap-container Goto Github PK

Can we change the ownership of the inst-directory in the container to the gap-user? This would resolve at least gap-system/gap-docker#8 and maybe also gap-system/gap-docker#9 . Also, since this folder lies in the home-directory of the gap user, this would be the better practice.

Done in ba8b6c1 - waiting for tests to pass.

Sign up page is here: https://hub.docker.com/account/signup/

The Dockerfile has

RUN sudo apt-get update -qq \
    && sudo apt-get -qq install -y build-essential m4 libreadline6-dev libncurses5-dev wget unzip libgmp3-dev cmake \
    && adduser --quiet --shell /bin/bash --gecos "GAP user,101,," --disabled-password gap \
...

I believe that replace it with

RUN sudo apt-get update -qq
RUN sudo apt-get -qq install -y build-essential m4 libreadline6-dev libncurses5-dev wget unzip libgmp3-dev cmake
RUN adduser --quiet --shell /bin/bash --gecos "GAP user,101,," --disabled-password gap \
...

is the Docker way because

1. Docker will stop the building if any line fail to execute properly, i.e. the return code is 0, and
2. Docker create a "layer" for each line and the first line that you change is used as start point for new rebuilds.

groupoids package by @cdwensley currently crashes in the master branch if Semigroups package is loaded: see for example https://travis-ci.org/gap-system/gap-docker-pkg-tests-master/jobs/333933165 :

terminate called after throwing an instance of 'std::system_error'
  what():  Enable multithreading to use std::thread: Operation not permitted

Indeed, the version of gcc there is 4.8.4 and @james-d-mitchell confirms that it is not compatible with Semigroups (although I haven't been able to find in Semigroups documentation what is the minimal compatible version then).

It will be useful to upgrade the compiler to some modern version - that will not only help to groupoids tests, but to other tests involving Semigroups, and to users who would like to use Semigroups in the Docker container.

What is "work in progress" has been achieved and thrives...

This page:

https://github.com/futurecore/parallella-devenv/blob/master/screenshots/HOWTO.md

describes how to create an animated gif of the command line. This would be useful documentation for the README of this repository.

The current container includes GAP and several packages. It would be more convenient to have a basie image which includes GAP and then derive other containers for each package.

The FROM keyword is useful here: https://docs.docker.com/reference/builder/#from

It may also be worth considering whether and how to use tags: https://docs.docker.com/userguide/dockerimages/#setting-tags-on-an-image

Would it be a good idea to create an image called gap_base or something containing the Ubuntu-packages needed for GAP and software like polymake, 4ti2, and Singular, maybe also M2, which are requested by some GAP packages. Building an GAP-image on top of such an image would make it easier to update the GAP image. The gap_base would then only be updated if newer versions are needed.

Time to update GAP Docker containers...