Fix the uid in the docker container, but only when needed and make the bind mount...
authorolg <olg@arbeitstierchen.fritz.box>
Thu, 13 Jul 2017 22:27:46 +0000 (00:27 +0200)
committerFredrik Fornwall <fredrik@fornwall.net>
Sat, 15 Jul 2017 09:20:05 +0000 (11:20 +0200)
commite3f9f42f4dd6457fdaac5da55150fa2280621415
tree70f32f79286320ce8dffac066977ed4bd7ccbabd
parent0e62bec8ef6cab86b1462e421c62501c2cd337c5
Fix the uid in the docker container, but only when needed and make the bind mount work for arbitrary pwd...
scripts/run-docker.sh