[SOLVED] How To Toggle Proxy

cmnorton · 04-04-2012, 02:01 PM

Under Firefox

Edit --> Preferences --> Network (tab) Connection Settings I find I have to toggle whether I use our proxy or not. One of the times I do is when using Leiningen to fetch a new version of itself. It won't work with the proxy off.

Rather than going into Firefox to do this, what network settings do I need to tweak using a shell script and in which files are these?

Thanks.

sys64738 · 04-04-2012, 02:43 PM

Hi

look for the Firefox Add-on "FoxyProxy". This should allow you to handle your Proxy Setup depending with just a few clicks, I think even depending on IP addresses or networks.

cmnorton · 04-05-2012, 11:18 AM

Quote:

Originally Posted by sys64738

Hi

look for the Firefox Add-on "FoxyProxy". This should allow you to handle your Proxy Setup depending with just a few clicks, I think even depending on IP addresses or networks.

Thank you for your reply, but I am looking to control this using a shell script.

NyteOwl · 04-05-2012, 12:47 PM

You can do it by maniputing the pref.js file where the settings are stored. Sample code:

Code:

#!/bin/bash
version="`firefox -v | awk '{print substr($3,1,3)}'`"
echo $version " is the version."
# Insert an ip into firefox for the proxy if there isn't one
if
! grep network.proxy.http /etc/firefox-$version/pref/firefox.js 
  then echo 'pref("network.proxy.http", "'"$1"'")";' >> /etc/firefox-$version/pref/firefox.js 
fi

# Even if there is change it to what we want
sed -i s/^.*network.proxy.http\".*$/'pref("network.proxy.http", "'"$1"')";'/  /etc/firefox-$version/pref/firefox.js 

# Set the port
if ! grep network.proxy.http_port /etc/firefox-$version/pref/firefox.js 
  then echo 'pref("network.proxy.http_port", 9980);' >> /etc/firefox-$version/pref/firefox.js 
  else sed -i s/^.*network.proxy.http_port.*$/'pref("network.proxy.http_port", 9980);'/ /etc/firefox-$version/pref/firefox.js 
fi

# Turn on the proxy
if ! grep network.proxy.type  /etc/firefox-$version/pref/firefox.js 
  then echo 'pref("network.proxy.type", 1);' >> /etc/firefox-$version/pref/firefox.js 
  else sed -i s/^.*network.proxy.type.*$/'pref("network.proxy.type", 1)";'/ /etc/firefox-$version/pref/firefox.js 
fi

Pehapss an easier, and safer way to do this is to configure your Firefox to use a PAC with a file URL, create fiels for your various settings, and then change the file URL from the line command when (re)starting Firefox.