make user error about sel4-camkes-l4v-dockerfiles HOT 4 CLOSED

Hi,
I restart the computer, it did work! Thanks

from sel4-camkes-l4v-dockerfiles.

Hello,

Are you running the containers as root or with sudo? Try running the make commands under your normal user account.

If you are using the root account or sudo because you can't run docker commands from your normal terminal, I would advise adding yourself to the docker group like this:

sudo usermod -aG docker ${your_username}

and then logout and re-log back in. Then you should be able to use docker under your own account.

If this doesn't help, please let me know.

from sel4-camkes-l4v-dockerfiles.

Hi,
Yes, I used sudo. If used make, then I did not have permission.
I tested sudo usermod -aG docker talos then docker logout, it said:

Warning: failed to get default registry endpoint from daemon (Got permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sock: Get http://%2Fvar%2Frun%2Fdocker.sock/v1.38/info: dial unix /var/run/docker.sock: connect: permission denied). Using system default: https://index.docker.io/v1/
Not logged in to https://index.docker.io/v1/

So I did sudo docker logout, it said
Not logged in to https://index.docker.io/v1/

from sel4-camkes-l4v-dockerfiles.

Ah, I meant that you should log out of your own account on the computer - or you can reboot the machine.

You should be able to run groups and see docker listed in the output. If you can't, you may still need to reboot your machine.

Once you can see docker in the output of groups command, try running this command:
docker images
If that works, you should be able to use the makefiles without sudo.

from sel4-camkes-l4v-dockerfiles.