Ubuntu: Set socks5 proxy for git command line:$:git config --global http.proxy socks5://localhost:1080