1 Jun
2019
1 Jun
'19
8:16 p.m.
On Sat, Jun 1, 2019 at 10:59 AM Jiraphapa Jiravaraphan
<jira.jiravaraphan(a)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