From 09f81c16c5fec6c140e0fc9e4b8eb10796d0fd37 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 6 Mar 2021 17:03:36 -0800
Subject: Set --user in docker run to avoid permission issues.

We were unable previously to write to the artifacts directory.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 2c112d66d..af5b755cc 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \
-- 
cgit v1.2.3