Tentei redefinir o proxy do terminal com alguns comandos, mas isso não acontece e volta automaticamente para esse proxy 172.16.0.16 (que aparentemente era o meu proxy da faculdade). Verifiquei as configurações do sistema. Não entendo por que isso é recorrente. Também gostaria de saber como...