diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2020-06-20 15:42:15 -0700 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2020-06-20 15:42:15 -0700 |
| commit | bd9084314696577aaf0045efaa9b3674716ee297 (patch) | |
| tree | 6139675b910d439092b6f8d0fdcf9683ab4ca154 /bin | |
| parent | bin: builder works now (diff) | |
| download | www-bd9084314696577aaf0045efaa9b3674716ee297.tar.gz www-bd9084314696577aaf0045efaa9b3674716ee297.tar.bz2 www-bd9084314696577aaf0045efaa9b3674716ee297.zip | |
bin/build: document better
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/build.sh b/bin/build.sh index 618b26a..b91cb4c 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -4,7 +4,13 @@ IMAGE_NAME=docker.gentoo.org/sites/www IMAGE_TAG=latest IMAGE=${IMAGE_NAME}:${IMAGE_TAG} IMAGE_SRC=docker/ -docker build -t "${IMAGE}" "${IMAGE_SRC}" +# Always refresh the image +# Docker caches it anyway +docker build \ + --quiet \ + -t "${IMAGE}" \ + "${IMAGE_SRC}" +# Run the actual build process, with no networking permitted docker run \ --rm \ --net=none \ |