Use separate $HOME for commands run outside the docker
authorPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 2 Jul 2014 14:54:48 +0000 (10:54 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 2 Jul 2014 14:55:15 +0000 (10:55 -0400)
commit945bebae56ec2fb5faef965cbf55fc8309e8df11
treedaad3d957de979d530117b65d4e3119f0ebb306c
parent2d7610520e4d1ab289899821bf4d885b77a1e327
Use separate $HOME for commands run outside the docker
container (e.g. arv-mount) and commands inside the docker container because of
the user id mapping problem.  Converted docker command line to use long form
for readability.
sdk/cli/bin/crunch-job