firefox中的代理设置通过bash不起作用

Question

非常简单：

我有：

Distributor ID: Ubuntu
Description:    Ubuntu 14.04.1 LTS
Release:    14.04
Codename:   trusty

我想通过bash在firefox中设置代理：

#!/bin/bash

IP="1.2.3.4"
PORT="2200"

grep -v "network.proxy.\(http\|http_port\|type\)" prefs.js  > temp && mv temp prefs.js

echo "user_pref(\"network.proxy.http\", \"$IP\")" >> prefs.js 
echo "user_pref(\"network.proxy.http_port\", $PORT)" >> prefs.js
echo "user_pref(\"network.proxy.type\", 1)" >> prefs.js

相应地修改了prefs.js，但是firefox没有设置代理。查看包含的图像。

我使用此代码得到完全相同的问题：

cat <<EOT >> prefs.js
user_pref("network.proxy.http", $IP);
user_pref("network.proxy.http_port", $PORT);
user_pref("network.proxy.type", 1);
EOT

非常感谢大家!!

Answer 1

实际上我找到了一个解决方案，在设置代理之前，我测试了它。 看到这段代码：

result=`HEAD -d -p http://$IP:$PORT -t 20 www.any_url.com HTTP/1.1`
if [ "$result" = "200 OK" ]; then
    [do whatever you want...]
    break;
else
    [do something else ...]
fi

done;

请参阅http://snipplr.com/view/17899/http-proxy-checker/

这样就不需要一遍又一遍地设置和取消设置代理;它的速度也快得多。