Mój przypadek użycia: Jestem w Ubuntu 16.04. Czasami jestem w środowisku, w którym muszę skonfigurować serwer proxy. Muszę to zrobić w wielu miejscach: proxy dla chrome, dla apt, dla pip, dla dockera, dla bash, ... Dobra, z przyjemnością konfiguruję wszystkie te narzędzia raz . Chcę mieć lokalny...