Modify gnome proxy settings before and after a command