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
run-tests.sh	refactor(linux): address code review comments	2025-01-09 16:55:54 +01:00