Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
container: Copy files before mounting them
Copy input files in a temporary dir before mounting them, thereby changing their permissions, without affecting the original files. This way, we can avoid cases where a file is accessible to the user only due to a supplemental user group, which does not work for containers. Fixes #157 Fixes #260 Fixes #335
- Loading branch information