diff options
| author | Nate McMaster <natemcmaster@users.noreply.github.com> | 2018-03-21 02:17:59 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-21 02:17:59 +0300 |
| commit | 5aa5f92345fe02840f66ea692331335ce05580be (patch) | |
| tree | 0f7eab0ff443c569f090087f31f6761943ed726a /dockerbuild.sh | |
| parent | fde11611f8b40f3f101a99822bb9449d338cb002 (diff) | |
Adjust docker build to use current user ID (#977)
Diffstat (limited to 'dockerbuild.sh')
| -rwxr-xr-x | dockerbuild.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/dockerbuild.sh b/dockerbuild.sh index da7c76ea9d..cb62311488 100755 --- a/dockerbuild.sh +++ b/dockerbuild.sh @@ -97,7 +97,12 @@ tagname="universe-build-$image" cp "$DIR/global.json" "$(dirname "$dockerfile")" #endworkaround -docker build "$(dirname "$dockerfile")" -f "$dockerfile" --tag $tagname +docker build "$(dirname "$dockerfile")" \ + --build-arg "USER=$(whoami)" \ + --build-arg "USER_ID=$(id -u)" \ + --build-arg "GROUP_ID=$(id -g)" \ + --tag $tagname \ + -f "$dockerfile" docker run \ --rm \ |