I'm on latest Docker for Mac. It would be quite nice if docker push had a quiet mode, similar to how curl has -q to avoid showing the download-in-progress animations. I like the push output for working directly with docker but not for shell scripts.