If your workplace uses a proxy script to automagicallly <http://msdn.microsoft.com/en-us/library/dn321447.aspx> assign you to particular proxy servers, then you probably need to start an instance of a local proxy server (e.g. CNTLM). While I haven't tried this myself, this means that all you need to do is tell git (probably, maybe also Julia?) that it needs to send data packets through `localhost:3128` (that is CNTLM's default proxy server's address/port combo). I think you could do this with an environment variable used by git (something like HTTPS_PROXY = localhost &/ HTTP_PROXY = localhost)
On Sunday, 11 January 2015 04:49:03 UTC+11, John Hall wrote: > > The commands I listed above where I try to git config --global http.proxy > are the same thing as the answers to the stackoverflow question (I had > actually referred to it before posting). The IE settings my company > provides don't seem to be enough (and IT support is essentially unhelpful). > > On Sat, Jan 10, 2015 at 10:00 AM, Steven G. Johnson <[email protected] > <javascript:>> wrote: > >> So you have a firewall that is blocking http? Do they force you to use >> an http proxy? See >> >> >> http://stackoverflow.com/questions/128035/how-do-i-pull-from-a-git-repository-through-an-http-proxy >> >> on setting up git to use your http proxy (e.g. copy the settings from >> your web browser). >> >> On Friday, January 9, 2015 at 5:47:39 PM UTC-5, John Hall wrote: >>> >>> Tried before. Doesn't work. >>> >>> On Fri, Jan 9, 2015 at 5:23 PM, Steven G. Johnson <[email protected]> >>> wrote: >>> >>>> On Friday, January 9, 2015 at 4:56:29 PM UTC-5, John Hall wrote: >>>>> >>>>> I've seen both the git manual and the https/git workaround before. >>>>> Neither seem to work. >>>>> >>>> >>>> If you do "git clone" manually from the command line with an https or >>>> http URL, does it work? It would be good to diagnose the specific problem. >>>> >>> >>> >
