Docker under proxy

This is confirmed to work with ubuntu 18.10

https://stackoverflow.com/questions/23111631/cannot-download-docker-images-behind-a-proxy

git under proxy

to access git:// under proxy

sudo apt install socat
add the following to .bashrc

proxied_git () 
( 
    export GIT_PROXY_COMMAND=/tmp/gitproxy;

    cat  > $GIT_PROXY_COMMAND <<EOF
#!/bin/bash
/usr/bin/socat - PROXY:172.25.149.2:\$1:\$2,proxyport=3128
EOF
    chmod +x $GIT_PROXY_COMMAND;

    git "$@"
)

source: http://gitolite.com/git-over-proxy.html