changeset 45966 | f6a1540dc572 |
parent 38779 | 824636b08400 |
child 45968 | 971424517e17 |
--- a/contrib/packaging/dockerdeb Sun Nov 29 15:17:14 2020 +0100 +++ b/contrib/packaging/dockerdeb Tue Nov 24 14:03:19 2020 -0500 @@ -25,7 +25,11 @@ # container and hope it's writable. Whee. dn=$(basename $ROOTDIR) -DBUILDUSER=build +if [[ -z "${HG_DOCKER_OWN_USER:-}" ]]; then + DBUILDUSER=build +else + DBUILDUSER="$(id -u):$(id -g)" +fi if [ $(uname) = "Darwin" ] ; then $DOCKER run -u $DBUILDUSER --rm -v $PWD/..:/mnt $CONTAINER \