Docker ISIMA / LIMOS

If you encounter issues with Docker in the context of teaching

Please refer to the Docker section of Known Issues with Teaching Resources

Docker is recommended for practical work (TPs) at ISIMA

• Docker documentation: https://www.docker.com
• Docker Compose documentation: https://docs.docker.com/compose
  • allows launching multiple Docker containers
• https://hub.docker.com
  • Public registry of Docker images available to the community

Docker at ISIMA

• Docker is recommended for practical work (TPs) at ISIMA
• Docker is recommended for student projects intended for deployment

Docker at LIMOS

• Docker is recommended for research projects intended for deployment

The ISIMA/LIMOS Docker Registry

https://docker.isima.fr

ISIMA/LIMOS provides its own Docker image registry

• It allows you to:

  • Store Docker images

  • From https://hub.docker.com

    • Useful for large images (faster download at ISIMA)
    • No daily request limit (unlike https://hub.docker.com)

  • That you have built yourself

  • Update your images

  • Share your images publicly in read-only mode

• It does not allow you to:

  • Have a backup of your images

    • The registry content is not backed up

  • Have a UI to browse the ISIMA/LIMOS image catalog

Using docker.isima.fr

If pushing custom images, make sure they do not contain ANY secrets

If pushing custom images, check their size; an image larger than 1GB is neither desirable for storage nor for use

docker.isima.fr Demo

Regardless of your project, we recommend using the docker compose command rather than the docker command.

Here is a docker-compose.yml that builds a Docker image from the hello-world image at https://hub.docker.com with the name docker.isima.fr/vimazeno/helloworld using the Dockerfile in the current directory .

services:
  hello_world:
    image: docker.isima.fr/vimazeno/helloworld
    container_name: docker.isima.fr/vimazeno
    build:
      context: .
      dockerfile: Dockerfile

• Build the image

  docker compose build
  

• List the created image

  docker image ls
  

  displays

  docker.isima.fr/vimazeno/helloworld                                                                    latest             8c9e56bebe78   13 months ago   13.3kB
  

• Authenticate to docker.isima.fr

  docker login docker.isima.fr -u vimazeno
  

• Push the newly built image to docker.isima.fr with the 'latest' tag

  docker push docker.isima.fr/vimazeno/helloworld:latest
  

• Tag the newly built image with the current Git commit hash

  docker tag docker.isima.fr/vimazeno/helloworld:latest docker.isima.fr/vimazeno/helloworld:$(git rev-parse --short HEAD)
  

• Push the newly built image to docker.isima.fr with the Git commit hash tag

  docker push docker.isima.fr/vimazeno/helloworld:$(git rev-parse --short HEAD)
  

• Use the project as a standard user (no authentication required)

  git clone https://gitlab.isima.fr/vimazeno/helloworld.git
  docker compose up
  

  The image is automatically downloaded from docker.isima.fr