【linux】aptのプロキシの設定

/etc/apt/apt.confに次の構文を書き加える。
Acquire
{
http
{
Proxy "http://ユーザ名:パスワード@proxy:8080";
};
}