change network proxy preference howto

Here's a gnome way of changing your GNOME network proxy preferences like proxy configuration.

Without launching your favorite browser, simply hit Ctrl+F2 and typ

gnome-network-preferences

or via CLI

# gnome-network-preferences

This is the same "Internet Options" you will find from control panel under the old windows$ X.P.