Quando você se refere a proxies, geralmente é apenas sobre HTTP (e HTTPS), às vezes também FTP. Ping não usa HTTP, mas ICMP. Isso significa que não é afetado por qualquer proxy HTTP definido por você.
Outras ferramentas, como wget (um download de HTTP de linha de comando), respeitam o http_proxy
variável de ambiente. Essa variável pode ou não ser definida quando você altera as configurações da GUI. Você pode verificar facilmente usando o comando env
.
Algumas ferramentas de linha de comando não usam essa variável e, em vez disso, precisam que o proxy seja especificado explicitamente (como um parâmetro) sempre que a ferramenta for iniciada.