Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Small reorderings #199

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Small reorderings #199

wants to merge 4 commits into from

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Aug 1, 2024

Just to check if CI passes, based on a subset of the suggestions by @tom93 in July.

@vmcj vmcj force-pushed the small_reorderings branch 2 times, most recently from 1fa60cd to 9ed975a Compare August 2, 2024 11:11
docker list
docker ps
Copy link
Contributor

@tom93 tom93 Aug 2, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There is an earlier failure:

#22 [stage-1 9/9] RUN chmod 700 /configure.sh && /configure.sh && rm -f /configure.sh
#22 0.163 useradd: user 'domjudge' already exists
#22 ERROR: process "/bin/sh -c chmod 700 /configure.sh && /configure.sh && rm -f /configure.sh" did not complete successfully: exit code: 9
------
 > [stage-1 9/9] RUN chmod 700 /configure.sh && /configure.sh && rm -f /configure.sh:
0.163 useradd: user 'domjudge' already exists
------
Dockerfile:82
--------------------
  80 |     # Run customizations
  81 |     COPY domserver/configure.sh /configure.sh
  82 | >>> RUN chmod 700 /configure.sh && /configure.sh && rm -f /configure.sh
  83 |     
  84 |     # Expose HTTP port
--------------------
ERROR: failed to solve: process "/bin/sh -c chmod 700 /configure.sh && /configure.sh && rm -f /configure.sh" did not complete successfully: exit code: 9
+ echo [ok] Done building Docker image for domserver

The error is being ignored because of an issue that would be fixed by #197.

@vmcj vmcj force-pushed the small_reorderings branch 2 times, most recently from 4daccd5 to 32e35c3 Compare August 2, 2024 14:30
Comment on lines +6 to +9
# Set up user
RUN groupadd domjudge -g2004
RUN useradd -m domjudge -u2004 -g2004

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have a draft in branch queue/check-ownership-across-docker-build-stages (f62e173) to check the UID & GID are the same instead of having to hard-code the values.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants