Configurar proxy de Git.

Para todos aquellos que utilicéis Git (sistema de control de versiones distribuido) e intentéis trabajar detrás de un proxy, por ejemplo el de la universidad, seguramente os encontréis con el problema de que no os funciona Git.

Al parecer en Linux (no probé en otros sistemas) no reconoce la configuración del sistema y hay que configurar el proxy manualmente. Esto se consigue mediante los siguientes comandos:

$ git config --global http.proxy http://direccion_ip_proxy:puerto

$ git config --global https.proxy https://direccion_ip_proxy:puerto

Por ejemplo, para conectar con el proxy de la red “alumnos” de la UMA habrá que ejecutar los siguientes comandos:

$ git config --global http.proxy http://proxy.alu.uma.es:3128

$ git config --global https.proxy https://proxy.alu.uma.es:3128

Si estamos ahora con una conexión directa a internet, hay que eliminar el proxy de la configuración, esto se consigue con unset:

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

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