diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-06 17:03:36 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-06 17:03:36 -0800 |
commit | 09f81c16c5fec6c140e0fc9e4b8eb10796d0fd37 (patch) | |
tree | c1cfd0651a3010aa3bb80052606d10725861643b /Makefile | |
parent | cf175c97523f09b13db984801ba15e35978d1137 (diff) | |
download | pandoc-09f81c16c5fec6c140e0fc9e4b8eb10796d0fd37.tar.gz |
Set --user in docker run to avoid permission issues.
We were unable previously to write to the artifacts directory.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -83,6 +83,7 @@ checkdocs: debpkg: man/pandoc.1 docker run -v `pwd`:/mnt \ -v `pwd`/linux/artifacts:/artifacts \ + --user $(id -u):$(id -g) \ -e REVISION=$(REVISION) \ -w /mnt \ --memory=0 \ |