Hello Rabbe, IMHO, proxy settings is a independent topic compared to bootstrap. There are different ways to get a same result, and git, svn, wget, bash, have different approaches. Including a discussion of setting up proxy is a distraction to the bootstrap manual.
As you said, in enterprise environments, proxy is usual. So maybe we can point to some metarials on using proxies in the bootstrap manual? Cheers, -- XU Benda Research Center for Neutrino Science Tohoku University JAPAN http://www.awa.tohoku.ac.jp/~benda
