From d14329f0ee6869d337c7c8dd137ec3321c4f5fb7 Mon Sep 17 00:00:00 2001 From: Vincent Fiduccia Date: Tue, 3 Jul 2018 12:37:15 -0700 Subject: [PATCH] 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