From d14329f0ee6869d337c7c8dd137ec3321c4f5fb7 Mon Sep 17 00:00:00 2001 From: Vincent Fiduccia Date: Tue, 3 Jul 2018 12:37:15 -0700 Subject: [PATCH 1/2] Log for pulling vs building --- scripts/dev | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/dev b/scripts/dev index 211d5f7f671..381ca1a63cc 100755 --- a/scripts/dev +++ b/scripts/dev @@ -83,6 +83,7 @@ if [[ "$THEME" ]]; then fi if [ -z "$BUILD_BUILD" ]; then + echo "Pulling ${IMAGE}:build" docker pull ${IMAGE}:build else echo "Building ${IMAGE}:build" @@ -93,6 +94,7 @@ else fi if [ -z "$BUILD_DEV" ]; then + echo "Pulling ${IMAGE}:${TAG}" docker pull ${IMAGE}:${TAG} else TAG=local From e269cc9226d1eb69d78431deae56fae1ec8ce39c Mon Sep 17 00:00:00 2001 From: Vincent Fiduccia Date: Tue, 3 Jul 2018 12:41:12 -0700 Subject: [PATCH 2/2] No caching --- scripts/dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dev b/scripts/dev index 381ca1a63cc..746a7bf9689 100755 --- a/scripts/dev +++ b/scripts/dev @@ -87,7 +87,7 @@ if [ -z "$BUILD_BUILD" ]; then docker pull ${IMAGE}:build else echo "Building ${IMAGE}:build" - docker build -f Dockerfile.build -t ${IMAGE}:build . + docker build --no-cache -f Dockerfile.build -t ${IMAGE}:build . if [[ "$UPLOAD" ]]; then docker push ${IMAGE}:build fi