On Sat, Jun 1, 2019 at 10:59 AM Jiraphapa Jiravaraphan <jira.jiravaraphan@gmail.com> wrote:
Dear Spot team,
I've tried to pull docker image using command "sudo docker pull registry.lrde.epita.fr/spot-sandbox", however, I got the following response: "Unable to find image 'registry.lrde.epita.fr/spot-sandbox:latest' locally
Hello Jiraphapa, Sorry about that. We should upgrade those instructions. Our registry is currently closed because it contains some private images for other projects unrelated to Spot. Additionally, for the case of Spot, distributing Docker images that contains GPL-covered binaries is kind of a gray area as the GPL would require that we distribute (or make a written offer to distribute) the source code for all the GPL software that we use, and that's too much of a burden. So currently the only thing we can do is to distribute the source files for the spot-sandbox container, so you can rebuild it yourself. Here is how to do that: % git clone https://gitlab.lrde.epita.fr/spot/sandbox % cd sandbox % sudo docker build --no-cache -t lrde/spot-sandbox to execute it, do % sudo docker run -p 8888:8888 -t lrde/spot-sandbox run-nb If you (or someone else) can confirm that this works fine I'll upgrade the README with that. -- Alexandre Duret-Lutz