spiegel-keyman/resources/docker-images/base
Markus Greiner fb14a67db6 Docker changes permissions to match the file owner uid and gid
There is an issue that the Docker containers cannot modify the
files on KEYMAN_ROOT, since the user running build and tests on
Docker does not have the same gid and uid as the host user starting
the container.
The issue is solved by temporarily changing the uid and gid to
match the container user's uid and gid.

Test-bot: skip
Build-bot: skip
2025-10-21 15:59:06 +02:00
..
Dockerfile Docker changes permissions to match the file owner uid and gid 2025-10-21 15:59:06 +02:00