seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

make user error #2

Closed aogrcs closed 6 years ago

aogrcs commented 6 years ago

When I used "make user", the error was:

useradd: user 'root' already exists Makefile:284: recipe for target 'build_user' failed make: *** [build_user] Error 9

I used Ubuntu 16.04 for x86_64, thanks! Sincerely

LukeMondy commented 6 years ago

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.

aogrcs commented 6 years ago

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/

LukeMondy commented 6 years ago

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.

aogrcs commented 6 years ago

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