Cómo utilizar el proxy en la terminal

De las preguntas y respuestas de StackOverflow tituladas " ¿Conseguir que Git trabaje con un servidor proxy? ":

Comando para usar..:

git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080
git config --global https.proxy https://proxyuser:proxypwd@proxy.server.com:8080

• cambiar el proxyuser por su usuario proxy
• cambiar proxypwd por su contraseña de prxy
• cambiar proxy.server.com por proxy server url
• cambiar el 8080 por el puerto proxy

Si en cualquier momento decide reiniciar este proxy y trabajar sin (no proxy):

Comandos para usar:

git config --global --unset http.proxy
git config --global --unset https.proxy

Git también respeta la http_proxy y https_proxy variables de entorno.