プロキシ設定メモ

端末のために， /etc/profile を編集した．/etc/profile.d/proxy.sh を作成した．

export http_proxy=http://proxy.example.jp:8080
export ftp_proxy=http://proxy.example.jp:8080

Ubuntuのシステム設定としては「設定」に「ネットワークのプロキシ」がある．PACファイルを指定してやった．

「システム管理」の「Synapticパッケージ・マネージャ」は，先のものとは別個にプロキシ設定が独立していた．