Ubuntu Ludid(10.04.1 LTS)でプロキシを使用するようにFirefoxに指示する方法を探しています。
Ubuntuをいくつかの同一のマシンに半自動でインストールしています。このために、とりわけシステム全体のプロキシ設定を設定するスクリプトを使用します。
echo "export http_proxy=http://myproxy:3128/" > /etc/profile.d/proxy.sh
echo "export HTTP_PROXY=http://myproxy:3128/" >> /etc/profile.d/proxy.sh
chmod a+x /etc/profile.d/proxy.sh
シェルをチェックインするときに、変数が正しく設定されていることを確認できます。ほとんどのプログラムはこの設定を尊重し、プロキシを使用します。ただし、Firefoxはサポートしていません。ただし、ネットワーク接続設定ダイアログを開くと、プロキシの「システム設定を使用する」ように事前設定されています。
Firefoxはここで何を期待しますか?別の名前の変数? FFのprefs.jsに何かを設定できますか?
Firefoxは標準的なことを行うことができず、環境変数を使用できません(正直なところ、標準的なことはプロキシ自動設定ファイルを許可しないため、これは部分的に正当化されます)。静的プロキシの設定は次のとおりです。
user_pref("network.proxy.http", "wwwproxy.example.com");
user_pref("network.proxy.http_port", 3128);
user_pref("network.proxy.type", 1);
$http_proxy
および同様の環境変数を使用するためのFirefox拡張機能があります: Environment Proxy 。
Firefoxの最新バージョン おそらくデフォルトで通常の環境変数を使用するか、または proxy type preference が明示的に5に設定されている場合(「システムプロキシ設定を使用する」) Ubuntu 10.04のバージョンでは動作しません。
user_pref("network.proxy.type", 5);
「プロキシ」と言いますが、例ではおそらく「HTTPプロキシ」を意味することを示しています。ただし、HTTPトラフィックを禁止しないSOCKSプロキシにもアクセスできる場合は、tsocks
ツールを使用できます。
tsocks firefox
/etc/tsocks.conf
を適切に設定したら。
コマンドラインオプションのリスト によると、プロキシのexplizitオプションはありません。また、http_proxy
も同様のものも機能しないことがわかりました。最初にプロファイルを作成することをお勧めします。
firefox -CreateProfile foo
次に、sed
またはuser_pref("network.proxy.http", "YOUR_PROXY"); user_pref("network.proxy.http_port", PORT);
をprefs.js
に書き込むための任意のツールを使用できます。これで、Firefoxはこれらのプロキシで正常に動作するはずです。