Meu caso de uso: estou no Ubuntu 16.04. Às vezes estou em um ambiente onde preciso configurar um proxy. Eu preciso fazer isso em muitos lugares: proxy para chrome, para apt, para pip, para docker, para bash, ... Bem, eu estou feliz em configurar...
26.03.2018 / 09:15