git cómo cambiar la configuration del proxy para diferentes networkinges

Trabajo en una empresa y también desde casa utilizando mi computadora portátil con Ubuntu Linux. El código está en un repository github. En la empresa, accedo a la networking a través de un proxy HTTP mientras que en mi casa no hay proxy. Cómo git push / pull en tales casos? ¿Cómo decirle a git que use proxy en la empresa y que no use proxy cuando está en casa?

Esto parece diferente a Cómo deshabilitar temporalmente el proxy http de git , porque en mi caso, estoy accediendo al repository remoto en ambos casos y no a un repository local como en esa pregunta / respuesta.

Mi situación parece ser diferente de lo que se describe en esta pregunta también git-proxy-bypass

Lo que quiero es acceder a mi repository github de dos maneras:

  1. Detrás del proxy de la compañía
  2. Desde mi networking doméstica sin proxy

Tengo que hacer esto con bastante frecuencia.

Tu también puedes:

  • usa una count diferente y declara tu proxy en tu configuration global de Git.
    Esos están almacenados en \Path\To\yourAccount\.gitconfig , lo que significa dos configuraciones diferentes dependiendo de su lugar de trabajo.
  • utilice una secuencia de commands que inicie automáticamente cuando inicie su sistema operativo, que:
    • detectar si se necesita un proxy (intente acceder a una URL conocida: si falla, debe configurar un proxy con authentication)
    • declare las variables de entorno HTTP(S)_PROXY y NO_PROXY consecuencia.