en un dominio concreto se puede configurar:

/etc/default/docker
export http_proxy="proxy...es:8080"

(443 directo)

y en groups /etc/group

docker:x:1627914753:

y funciona 

con gpasswd docker se le pone una contraseña al grupo
con newgrp docker y la contraseña, se usa.