I want to change firefox proxy settings on the fly (no, I will not be installing a 3rd party extension for this). I want to open up an instance of firefox without changing my default proxy settings. The use case is that I get access to scientific journals through my school. Right now, if I want to get a journal, I ssh in and setup a SOCKS proxy with
ssh -D 1080 [email protected]
as in https://unix.stackexchange.com/questions/38755/how-to-download-a-file-through-an-ssh-server. Then I open up firefox and choose manual SOCKS proxy at 127.0.0.1 on port 1080. This works perfectly except that it's a headache to do this every time I want to browse on my school's network. Furthermore, this changes my default settings so all instances of firefox then run through the SOCKS proxy, and when I'm done I need to return all the settings back.
Is there a command line option or small script to open a single instance of firefox with the desired proxy settings? Short of that what would my next best option be?
FYI I'm running debian jessie.