How to set a proxy?

I am booting from CRD behind a firewall, and I would like to set a proxy so that CRD can download its updates. I didn’t notice a place in the interface to do this. I also tried starting a shell, setting and exporting the symbol http_proxy, and then starting CCE manually, but it does not appear to use the symbol. How can I set a proxy to be used in this situation? Thanks.

I would like to get this infomation as well