File permissions on Linux host machine

[bw35]

Hi,

When running the container on a Linux host as described in Readme.md, the files on host volume end up to be owned by root:root rendering them read-only for a normal user. This can be overcome by telling docker to use a different user:

docker run --user $(id -u):$(id -g) -it --rm -v $PWD:/lab throwtheswitch/drsurly-course1

Solution taken from:
https://dille.name/blog/2018/07/16/handling-file-permissions-when-writing-to-volumes-from-docker-containers/