Docker image names, registries and repositories

A docker push or pull command requires an image name whose structure is:


The registry part is optional and if not detected will default to

I presume that when you run docker push for example, that the previous login primes docker to expect that a subsequent push might have a registry hostname at the front.