Para gerar o proxy da sessão atual:
echo $http_proxy
Como posso descobrir qual servidor proxy é usado no Ubuntu a partir da linha de comando?
Desde variável de ambiente apontando para proxy pode ser sensível a maiúsculas e existem não só para HTTP, mas protocolos HTTPS e FTP, e há também a maneira de evitar o uso de servidor proxy para alguns endereços ou nomes de servidor com variável NO_PROXY comando deve ser um pouco mais complexo:
env | grep -i proxy
que produzirá uma saída como
NO_PROXY=localhost,127.0.0.0/8,*.local,*.domain.com,192.168.0.0/16
FTP_PROXY=http://192.168.1.6:3128
https_proxy=http://192.168.1.6:3128
HTTP_PROXY=http://192.168.1.6:3128
HTTPS_PROXY=http://192.168.1.6:3128
http_proxy=http://192.168.1.6:3128