In order to configure proxy settings etc on ubuntu the shipped GUI is a bit messy but there is a tool that helps a lot:

dconf

It can also be used for no_proxy, http_proxy, https_proxy etc.

Remark: Make sure you re-login after changing settings.