Comments (5)
Hello, thanks for the report!
Can you run:
docker images
so we can see the IMAGE IDs
from sel4-camkes-l4v-dockerfiles.
REPOSITORY TAG IMAGE ID CREATED SIZE
<none> <none> 7123a57c7bd5 21 hours ago 4.82GB
extras latest 02560e099951 21 hours ago 4.82GB
trustworthysystems/camkes latest a33752e29215 36 hours ago 4.63GB
alpine latest a187dde48cd2 3 months ago 5.6MB
from sel4-camkes-l4v-dockerfiles.
Thanks.
OK, it looks like there is a bug, because the group users
exists in the container already.
The groupadd
command runs, and tries to make another users
group - and because it has -f
, it doesn't fail - but it also does not change the group ID to match the groupadd
command.
I was able to fix this by putting in this line:
# Crammed a lot in here to make building the image faster
RUN groupadd -fg ${GID} ${GROUP} \
+ && groupmod -g ${GID} ${GROUP} \
&& useradd -u ${UID} -g ${GID} ${UNAME} \
in the dockerfiles/user.dockerfile
, just after this line here: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/blob/df998a4beed9d5109d564d8b0552ab118af25365/dockerfiles/user.dockerfile#L11
The fix just changes the GID of the group - if it's already correct, it won't change anything. If it has hit an existing group, it will change the group ID. Hopefully shouldn't cause any issues.
Are you able to test this out, and let me know if it helps? I have pushed the fixed commit to our internal system, but it will take a little while to make it out of of CI, and on to GitHub.
from sel4-camkes-l4v-dockerfiles.
I can confirm it works.
from sel4-camkes-l4v-dockerfiles.
Great! The fix should get pushed out soon.
from sel4-camkes-l4v-dockerfiles.
Related Issues (20)
- Issues building images, due to apt error HOT 1
- make user doesn't work on mac HOT 3
- Docker option :exec not accepted by docker. HOT 2
- `make user` fails with `docker: Error response from daemon: Unable to find group stack.` on MacOS HOT 1
- Is the stack group required for a regular build environment? HOT 6
- Investigate if linter can be PR scoped HOT 1
- make user failed on MacBook Pro with Apple M1 chipset HOT 46
- Freeze Python package dependencies (camkes-deps currently breaks) HOT 2
- Clarification on pull request #42
- delete merged branches "spdx" and "fix_os" HOT 1
- Update Haskell toolchain in containers HOT 5
- Do not run Authenticate and Push on forks HOT 1
- Update QEMU to 7.0 as is enforces stronger RISC-V spec compliance HOT 6
- review bash invocations in this repo
- deploy action is running out of disk space HOT 1
- timezone setting on MacOS broken again HOT 8
- remove cogent HOT 1
- Suggest updating to a more recent base.
- sign containers and check signatures of content in containers HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from sel4-camkes-l4v-dockerfiles.