apt のProxyの設定を調べるのは何度目だろうか。。

何度やっても忘れる。
/etc/apt/apt.conf.d/
に「80proxy」ファイルを作って

 Acquire::http::proxy "http://ユーザー名：パスワード@ホスト名：ポート番号/";

でOK。

ちなみにGitは

git config --global  http.proxy http://proxy:port