Since we share files with the host, the file permissions may get mangled. In these cases we should provide a command in the Makefile in order to temporarily take ownership of files. We should also add documentation on how one can handle mange pitfalls w.r.t. file permissions and Docker.
Since we share files with the host, the file permissions may get mangled. In these cases we should provide a command in the Makefile in order to temporarily take ownership of files. We should also add documentation on how one can handle mange pitfalls w.r.t. file permissions and Docker.