Comment 2 for bug 118754

How can we set this up automatically for users? Can we use the gnome proxy settings?

For the meantime, can I just add https_proxy="http://xxxx:xxxx" in ~/.bashrc ? I don't think this file is read until bash is started unless you change something else.