setting UID for docker container

small change

might be just my docker setup, but all files created by the container were owned by root ... and I didn't like it :D

good catch. I think it would be better to write: --user $(id -u):$(id -g) as suggested here.

added 1 commit

• 5f638cad - setting UID for docker container

Compare with previous version

added 1 commit

• ab29ceff - setting UID for docker container

Compare with previous version

Nice! Much better indeed :) Thx @laurent.heirendt

assigned to @laurent.heirendt

thanks @vilem.ded

merged

mentioned in commit 912bc727