diff options
author | Peter Feerick <peter.feerick@gmail.com> | 2020-12-15 20:17:24 +1000 |
---|---|---|
committer | Peter Feerick <peter.feerick@gmail.com> | 2020-12-15 20:17:24 +1000 |
commit | aa45f2517413d6ce81611d8fb6fb2b4924579e46 (patch) | |
tree | 31c4d3e1be8b6298a4d6cdeced36a53cf1ae1f04 /doc/buildWithDocker.md | |
parent | 72960ef8803595c76350471156240e324e87b3e3 (diff) |
Missed username for some Docker Hub commands
Diffstat (limited to 'doc/buildWithDocker.md')
-rw-r--r-- | doc/buildWithDocker.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/buildWithDocker.md b/doc/buildWithDocker.md index 34bf50d0..1db5e7a7 100644 --- a/doc/buildWithDocker.md +++ b/doc/buildWithDocker.md @@ -22,13 +22,13 @@ The Docker Hub images are built using 1000:1000 for the user id and group id. If The below example will run the container, setting the user and group ids automatically: ``` -docker run --rm -v <project_root>:/sources --user $(id -u):$(id -g) infinitime-build +docker run --rm -v <project_root>:/sources --user $(id -u):$(id -g) pfeerick/infinitime-build ``` Or you can specify your user id and group id (by number, not by name) directly: ``` -docker run --rm -v <project_root>:/sources --user uid_num:gid_num infinitime-build +docker run --rm -v <project_root>:/sources --user uid_num:gid_num pfeerick/infinitime-build ``` ## Build the image yourself @@ -52,7 +52,7 @@ When this is done, a new image named *infinitime-build* is available. ## Run a container to build the project: -The command to run the container is essentially the same, regardless of whether you built it yourself from the dockerfiles, or are using the Docker hub image: +The command to run the container is essentially the same, regardless of whether you built it yourself from the dockerfiles, or are using the Docker Hub images (use `pfeerick/infinitime-build` instead of `infinitime-build` for the later): ``` docker run --rm -v <project_root>:/sources infinitime-build |