Useful docker info
Copy a file from running docker container:
docker cp container_id:/path/to/your_file.txt /path/on/your/host
Upload from host to docker container:
docker cp /path/to/your_file.txt scripts_devbox_1:/path/on/your/container
Build image ignoring the cache:
docker build -t ubuntu-web-image --no-cache .
Get the IP address of a docker container:
docker inspect -f '{{range .NetworkSettings.Networks}}{{.IPAddress}}{{end}}' <container-id>
Check memory usage of the containers
docker stats
Find the path to the php.ini file(s)
php --ini