ubuntu の proxy 設定方法

ubuntu 11.04 on Virtual Box でやってみました。

結論としては
「システム」→「設定」→「ネットワークのプロキシ」
のところだけ設定すればよいことが分かりました。

https://forums.ubuntulinux.jp/viewtopic.php?pid=2474

だいぶ前にネットワークプロキシがうまくいかず、
あれこれ設定を悩んだ記憶がありましたが、これでいけました。

Ubuntu上級活用マニュアル