※ このエントリは、はてなグループ終了に伴う、サブブログからの引越エントリ(2011/01)です。
※ 情報が古い可能性もありますので、ご留意ください。
今まで、3128 とか 8080 ポートの Proxy しか使ったことなかったから、あまり気にしたことなかった。
http_proxy="http://xxx.xxx.xxx.xxx"
80 ポートへの接続だからといって、↑のようにポート番号を省略せずに、
http_proxy="http://xxx.xxx.xxx.xxx:80"
という感じで、クライアントに依存する話ではあるけど、ポート番号を明示的に指定しておいた方が良さそうだ。