search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Let users be sudoers #6

Closed paolo-crisafulli closed 5 years ago

paolo-crisafulli commented 5 years ago

To let users use additional tools, the way to go is to add lines in extras.dockerfile. Nevertheless, the process of discovering the tools you need, then terminate the user container, add lines to extras.dockerfile, build a new image and run a new container is very tedious - especially doing that one tool at a time, which is what happens in practice. So I suggest to let users be sudoers, in order to let them install new tools while using a container, then report them to extras.dockerfile for later use. To sum up, it's a suggested usability improvement.

LukeMondy commented 5 years ago

Cool, thanks again! I merged your commit internally, and added some extra stuff around it to make it clear that using sudo is ephemeral. It should be pushed out later today.