コマンドラインからプロキシを使用するためのFirefoxの設定

17

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に何か設定できますか？

— jstarek
ソース

19

Firefoxは標準的なことを行うことができず、環境変数を使用できません（正直なところ、標準的なことはプロキシ自動設定ファイルを許可しないため、これは部分的に正当化されます）。静的プロキシの設定は次のとおりです。

user_pref("network.proxy.http", "wwwproxy.example.com");
user_pref("network.proxy.http_port", 3128);
user_pref("network.proxy.type", 1);

使用するFirefox拡張機能$http_proxyと同様の環境変数：Environment Proxyがあります。

Firefoxの最近のバージョンでは、デフォルトで通常の環境変数を使用するか、プロキシタイプの設定が明示的に5に設定されている場合（「システムプロキシ設定を使用する」）が、Ubuntu 10.04のバージョンでは動作しません。

user_pref("network.proxy.type", 5);

— ジル「SO-悪であるのをやめる」
ソース

2

ご回答ありがとうございます。FFは、単に環境変数を使用しないことジルヒントの後、私はFirefoxのバグトラッカーに行き、このエントリが見つかりました：bugzilla.mozilla.org/show_bug.cgi?id=224886を問題は、上流知られているので。2003

— jstarek

このオプションを将来のすべてのユーザーが取得できるように/ etc / skelに配置できますか？

— Ubuntuser

@Ubuntuserそうは思いません。Firefoxオプションは、使用しているプロファイルに応じて名前が変わるサブディレクトリにあります。

— ジル 'SO-悪であるのをやめる'

8

あなたは「プロキシ」と言いますが、あなたの例はあなたがおそらく「HTTPプロキシ」を意味することを示しています。ただし、HTTPトラフィックを禁止しないSOCKSプロキシにもアクセスできる場合は、次のtsocksツールを使用できます。

tsocks firefox

/etc/tsocks.conf適切に設定したら。

— jmtd
ソース

ヒントをありがとう。はい、より適切に指定する必要がありました。使用する必要があるhttp（squid）のキャッシュプロキシがあります。

— jstarek

6

コマンドラインオプションのリストによると、プロキシにはexplizitオプションはありません。また、どちらhttp_proxyも機能しないこともわかったように。最初にプロファイルを作成することをお勧めします。

firefox -CreateProfile foo

次に、を使用するsedか、書き込みたいツールを使用user_pref("network.proxy.http", "YOUR_PROXY"); user_pref("network.proxy.http_port", PORT);しprefs.jsます。これで、Firefoxはこれらのプロキシで正常に動作するはずです。

— qbi
ソース