Without using Firefox's connection interface, I would like to be able to write a shell script to toggle using a proxy (or not using one). Which network config files control proxy use?