Born from necessity on xubuntu to have a script to switch on/off the system proxy settings.