PPM4 における Proxy の設定2006年12月05日 23時28分54秒

どうやら PPM4 から Proxy の設定方法が変更されたようです。
教えていただきました。

http_proxy 環境変数に Proxy サーバを指定します。

http_proxy=http://proxy.example.org


ユーザー名、パスワードが必要な場合は次のように指定します。

http_proxy=http://username:password@proxy.example.org


ポート番号も合わせて指定する場合は次のように指定します。

http_proxy=http://username:password@proxy.example.org:8080


ユーザー名等を指定する場合は、従来の PPM とは互換性がありません。