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