Comandos utiles docker
Borrar todos los contenedores[editar]
En windows:
for /F %G in ('docker ps -a -q') do docker rm %G
En linux:
docker rm $(docker ps -a -q)
Arrancar bash en contenedor que ya está corriendo[editar]
docker exec -i -t loving_heisenberg bash
siendo loving_heisenberg el nombre (o el id) del contenedor.
Proxy con Docker[editar]
Con Windows y docker toolbox (version de windows anterior a la 10 pro). El proxy está o se pone en
C:\Program Files\Docker Toolbox\start.sh
Ahí dentro, poner las variables de entorno de proxy típicas
export HTTP_PROXY=http://usuario:password@proxy:8080
export HTTPS_PROXY=http://usuario:password@proxy:8080
export NO_PROXY=localhost,127.0.0.1,192.168.99.100
La 192.168.99.100 es la de defecto con la que corre la máquina virtual docker en Virtual Box.
Además, con la máquina virtual arrancada debemos entrar en ella con
docker-machine ssh
Una vez dentro, nos convertimos en root
sudo -i
Y ahora editamos el fichero /var/lib/boot2docker/profile y añadimos las variables de proxy
export "HTTP_PROXY=http://usuario:password@proxy:8080"
export "HTTPS_PROXY=http://usuario:password@proxy:8080"
export "NO_PROXY=localhost,127.0.0.1"