Re: [m-users.] Installing MMC over MMC

Volker Wysk <[email protected]> Mon, 14 Nov 2022 17:53:30 +0100

Newsgroups	gmane.comp.lang.mercury.general
Message-ID	<[email protected]>

Hi, Fabrice!

Am Samstag, dem 12.11.2022 um 13:32 +0100 schrieb fabrice nicol:
> Hi Volker,
> 
> Yes it works, this is the algo used by the everyday Docker build 
> released on Github.
> 
> It contains two builds: one fresh ROTD as a bootrap and a repo version 
> built at HEAD with the bootstrap ROTD build.
> 
> https://github.com/fabnicol/gentoo4mercury/releases
> 
> (note: there are Ubuntu and Alpine releases too, but these have had 
> distribution-related issues for a few days. Nothing related with Mercury 
> source code).

I installed Docker on my Ubuntu 22.04 system, using the "docker" group for
non-root docker access. The hello-world docker image works. Then I followed
the instructions on your Github page:

https://github.com/fabnicol/gentoo4mercury


The docker image got downloaded:

desktop ~ $ docker pull fabnicol/gentoo4mercury:latest
latest: Pulling from fabnicol/gentoo4mercury
29a567e2052f: Pull complete 
4d40df6b05fb: Pull complete 
be5db66fc624: Pull complete 
Digest:
sha256:e697c8e9bbcebce5052fcdde0bc8cff4cffe2e6a313af9749df15197e21281c7
Status: Downloaded newer image for fabnicol/gentoo4mercury:latest
docker.io/fabnicol/gentoo4mercury:latest


But when I tried to run the docker-mmc, I got:

desktop ~ $ docker run mmc --version
Unable to find image 'mmc:latest' locally
docker: Error response from daemon: pull access denied for mmc, repository
does not exist or may require 'docker login': denied: requested access to
the resource is denied.
See 'docker run --help'.


I tried both steps with "sudo", but it was the same.


Cheers,
Volker

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users

signature.asc (application/pgp-signature, 833 B)