質問者の熊谷です。
> apt で proxy を設定する場合は /etc/apt/apt.conf に書く方が楽です。
>
> Acquire {
> http {
> Proxy "http://proxy_server:8080";
> };
> ftp {
> Proxy "http://proxy_server:8080";
> };
> }
>
> see "man 5 apt.conf".
>
> モバイル等で環境が変わる場合は、/etc/apt/apt.conf.proxy のような
> 複数の設定ファイルを作成し
>
> apt-get -c /etc/apt/apt.conf.proxy update
>
> などと明示的に指定することも可能です。
さわみ様、ご回答ありがとうございます。
早速使わせていただきます。
---
熊谷 直之(くまがい なおゆき)