質問者の熊谷です。 > 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 > > などと明示的に指定することも可能です。 さわみ様、ご回答ありがとうございます。 早速使わせていただきます。 --- 熊谷 直之(くまがい なおゆき)