回答:
次のコマンドを使用して、http / https / ftpプロキシ環境変数を変更できます。
export http_proxy='http://user:password@prox-server:3128'
export https_proxy='http://user:password@prox-server:3128'
export ftp_proxy='http://user:password@prox-server:3128'
ワンライナーとして:
export {http,https,ftp}_proxy='http://user:password@prox-server:3128'
ただし、これらは保持されないため、bashrcに追加することをお勧めします。