docker run --rm -d -e PGADMIN_DEFAULT_EMAIL=toto@toto.fr -e PGADMIN_DEFAULT_PASSWORD=toto1234 --name pgadmin4 --mount source=pgadmin4,target=/var/lib/pgadmin -p 8000:80 docker.io/dpage/pgadmin4:latest /bin/bash
Kaniko
Available machine images for executors
CircleCI supports multiple machine images that can be specified in the image field
tini : container process reaper
Kubernetes lessons by VMware
tuto traefik docker
Podman is a daemonless container engine
Portus is an open source authorization service and user interface for the next generation Docker Registry.
docker for AWS
elasticsearch admin tools running in a container
watch -n 0.5 "docker ps -q | xargs docker stats --no-stream"
docker registry manager in GO
If you expect that IP address might change you could go the extra mile and do something like
docker container run -e "DOCKER_HOST=$(ip -4 addr show docker0 | grep -Po 'inet \K[\d.]+')"
..., this way every time you run your container, it’ll have the IP address available inside the container set to the DOCKER_HOST environment variable.
docker config version swarm
registry client, cli & web example
populating a postgres DB in a container
Using GlusterFS with Docker swarm cluster