Home

Push Manually the Image to Dockerhub

The image is automatically pushed to dockerhub when creating a tag. However, it is possible to push an image manually.

First you have to login:

docker login --username=cyberbotics [email protected]

Check the image ID using:

docker images

Tag the image:

docker tag bb38976d03cf cyberbotics/webots:latest

Push the image to the repository:

docker push cyberbotics/webots

Remove a Local Docker Image

To remove a local docker image, you should first get its ID:

docker images

And then remove the image corresponding to this ID:

docker rmi -f IMAGE_ID