最近几年来，地理信息系统无论是在理论上还是应用上都处在一个飞速发展的阶段。 GIS被应用于多个领域的建模和决策支持，如城市管理、区划、环境整治等等，地理信息成为信息时代重要的组成部分之一； “数字地球”概念的提出，更进一步推动了作为其技术支撑的GIS的发展。 与此同时，一些学者致力于相关的理论研究，如空间感知、空间数据误差、空间关系的形式化等等。 这恰好说明了地理信息系统作为应用技术和学科的两个方面，并且这两个方面构成了相互促进的发展过程。
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. 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. Sign up for a Docker account at https://hub.docker.com for free. 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. ` <../wp-content/uploads/2019/10/5974B2AE-945F-4DD0-A7C8-9D9B01BDAF62.jpg>` __ 退出 You can use the following command to exit docker hub: 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: ` <../wp-content/uploads/2019/10/docker-search22.png>` _ _ download the official ubuntu image locally using docker pull: ` <../wp-content/uploads/2019/10/docker-pull22.png>` __ 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. 2.13.1. Docker Hub ¶
2.13.2. Register ¶
2.13.3. Login and logout ¶
$ docker login
$ docker logout
$ docker search ubuntu
$ docker pull ubuntu
2.13.4. Push image ¶
$ 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