There are very few *nix based applications that observe the Windows internet settings. R, most notably, allows you use the internet2 Windows interface <http://cran.r-project.org/bin/windows/base/rw-FAQ.html#The-Internet-download-functions-fail_002e>. But this isn't observed by packages that use curl (e.g. devtools). In any case, best to setup a local proxy and the environment variables described below (not easy is it?)
On Sunday, 11 January 2015 12:16:42 UTC+11, i.cos...@me.com wrote: > > 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 <steve...@gmail.com> >> 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 <steve...@gmail.com> >>>> 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. >>>>> >>>> >>>> >>