Mam http.proxy
plik konfiguracyjny repozytorium, który chciałbym łatwo włączyć i wyłączyć bez konieczności zapamiętywania i ponownego wpisywania całej konfiguracji za każdym razem, gdy jestem z tyłu lub jestem wolny od tego proxy.
Inną możliwością byłoby użycie tego pliku konfiguracyjnego repozytorium, gdy jestem za serwerem proxy, a gdy nie, użyj globalnego / lokalnego pliku konfiguracyjnego bez konfiguracji proxy.