2.13. Docker warehouse management

发布时间 :2025-10-25 12:31:07 UTC      

A Repository is a place where images are stored centrally. The following is an introduction. Docker Hub . Of course, not only docker hub, but the remote service provider is different, the operation is the same.

2.13.1. Docker Hub

At present, Docker officially maintains a public warehouse. Docker Hub .

Most of the requirements can be achieved by downloading the image directly in Docker Hub.

2.13.2. Register

Sign up for a Docker account at https://hub.docker.com for free.

2.13.3. Login and logout

You need to enter a user name and password to log in. After the login is successful, we can pull all the images under our account from docker hub.

$ docker login

` <../wp-content/uploads/2019/10/5974B2AE-945F-4DD0-A7C8-9D9B01BDAF62.jpg>` __ 退出

You can use the following command to exit docker hub:

$ docker logout

Pull the image you can use the docker search command to find the image in the official repository, and use the docker pull command to download it locally.

Search with ubuntu as the keyword:

$ docker search ubuntu

` <../wp-content/uploads/2019/10/docker-search22.png>` _ _ download the official ubuntu image locally using docker pull:

$ docker pull ubuntu

` <../wp-content/uploads/2019/10/docker-pull22.png>` __

2.13.4. Push image

After logging in, users can push their own images to Docker Hub through the docker push command.

Please replace the username in the following command with your Docker account user name.

$ docker tag ubuntu:18.04 username/ubuntu:18.04
$ docker image ls

REPOSITORY      TAG        IMAGE ID            CREATED           ...
ubuntu          18.04      275d79972a86        6 days ago        ...
username/ubuntu 18.04      275d79972a86        6 days ago        ...
$ docker push username/ubuntu:18.04
$ docker search username/ubuntu

NAME             DESCRIPTION       STARS         OFFICIAL    AUTOMATED
username/ubuntu
Principles, Technologies, and Methods of Geographic Information Systems  102

In recent years, Geographic Information Systems (GIS) have undergone rapid development in both theoretical and practical dimensions. GIS has been widely applied for modeling and decision-making support across various fields such as urban management, regional planning, and environmental remediation, establishing geographic information as a vital component of the information era. The introduction of the “Digital Earth” concept has further accelerated the advancement of GIS, which serves as its technical foundation. Concurrently, scholars have been dedicated to theoretical research in areas like spatial cognition, spatial data uncertainty, and the formalization of spatial relationships. This reflects the dual nature of GIS as both an applied technology and an academic discipline, with the two aspects forming a mutually reinforcing cycle of progress.