Docker push

External

• https://docs.docker.com/engine/reference/commandline/push/
• https://docs.docker.com/docker-cloud/builds/push-images/

Internal

• Registry Operations

Overview

Push an image or a repository to a registry:

docker push [options] <name>[:tag]

Procedure

To push to Docker Hub:

1. Export credentials to environment:

 export DOCKER_ID_USER=ovidiufeodorov

2. Log in:

docker login

1. Tag the image you want pushed, and which must exist in the local registry with the remote repository info:

docker tag postgresql-debug novaordis/playground/postgresql-95-debug:1