Isso normalmente seria a sintaxe:
export http_proxy=http://10.9.8.7:1234/
export https_proxy=$http_proxy
export ftp_proxy=$http_proxy
export rsync_proxy=$http_proxy
export no_proxy="localhost,127.0.0.1,localaddress,.localdomain.com"
para aplicativos como wget
ping
não será roteado por meio de um proxy