I did a docker pull on successfully and can see it’s listed in docker images.
However, I can’t build it because there’s no dockerfile in the current directory (where I issued the docker pull).
So, where does docker pull store the image?
To answer the question in the subject line: the Dockerfile isn’t part of the image, and docker pull (or docker push) don’t know about it.
They’re stored in a somewhat hidden virtual machine, maybe even in /var/lib/docker within that, but the path on the Mac host is pretty obscured; it’s under your home directory.
Are you running the docker build command from the top of a git clone of that repository?
If you’ve docker pulled the referenced image already, do you actually need to rebuild it?