Configuración de proxy para Git

Es muy tedioso trabajar desde una red con proxy, al menos para mí, pierdo un montón de tiempo configurando software para que se actualice y funcione correctamente.

Esta es una descripción más o menos genérica de como hacer que git utilice un proxy determinado:

#para http
git config --global http.proxy <protocolo>://<nombre de usuario>:<password>@<direccion_ip>:<puerto>

#para https
git config --global https.proxy <protocolo>://<nombre de usuario>:<password>@<direccion_ip>:<puerto>

#para deshabilitar el uso del proxy
git config --global --unset http.proxy

protocolo

Suele ser http o htpps

nombre de usuario

nombre de usuario para autenticarse en el servidor de proxy

password

password para identificarse en el servidor proxy

direccion_ip

dirección de servidor de proxy

puerto

en el que está escuchando el servidor proxy

Más información en la configuración oficial de Git.