This document will show how to change proxy settings for Gnome from a terminal window (not from gnome-network-preferences).