プロキシ環境でaptやwgetを実行するための設定をメモしていきます。
1, aptのプロキシ設定
「export」コマンドで環境変数を追加する
以下のコマンドをterminalに入力することで環境変数を追加する。
$ export http_proxy="http://$プロキシサーバー$:$ポート番号$/"
$ export https_proxy="http://$プロキシサーバー$:$ポート番号$/"
$ export ftp_proxy="http://$プロキシサーバー$:$ポート番号$/"
「apt」にプロキシの設定を追加する
apt.confに以下の設定を追加する。
$ sudo nano /etc/apt/apt.conf
Acquire::http::proxy "http://$プロキシサーバー$:$ポート番号$/";
Acquire::https::proxy "http://$プロキシサーバー$:ポート番号$/";
Acquire::ftp::proxy "http://$プロキシサーバー$:ポート番号$/";
2, wgetのプロキシ設定
wgetrcに以下の設定を追加する。
$ sudo nano /etc/wgetrc
http_proxy=http://$プロキシサーバー$:$ポート番号$/
https_proxy=http://$プロキシサーバー$:$ポート番号$/
ftp_proxy=http://$プロキシサーバー$:$ポート番号$/
これでプロキシ下でもapt、wgetが使えるようになります。