/etc/apt$ cat apt.conf Acquire::http::Proxy "http://proxy.example.com:8080/"; 「システム＞設定＞ネットワークのプロキシ」は「インターネットに直接接続する」とされていて，影響しなかった．