Eclipse Community Forums: EGit / JGit

Help

Home

Home » Eclipse Projects » EGit / JGit » Git http proxy(http proxy from .git/config not used?)

Show: Today's Messages :: Show Polls :: Message Navigator

Git http proxy [message #1737306]

Thu, 07 July 2016 08:15

Daniel Platz

Messages: 5
Registered: July 2016

Junior Member

Hi there,
I have a git repo that i have to access via a specific proxy from within our company network. For that, i have set the http proxy in the .git/config of the repo. Everythibng works fine with the commandline git client. But it does not work to push/pull from/to the remote master within the eclipse git integration. He is not able to connect.
I found that when i set the regular network connection settings of eclipse to that proxy, it works.
My question is: Is eclipse not using the proxy settings from the .git/config and only the eclipse proxy settings?

For me setting the eclipse proxy to the proxy for the repo is particular cumbersome because I use that proxy only to connect to the git repo of a customer; we have another proxy that is used for regular access to the internet. this internetproxy i would like to keep set in the eclipse settings for e.g. download of pluigins. git should use the other proxy solely for the purpose of connecting to the git repo.

thanks in advance for any hints.
Cheers,
Daniel

Report message to a moderator

Re: Git http proxy [message #1737407 is a reply to message #1737306]

Thu, 07 July 2016 20:47

Matthias Sohn

Messages: 1268
Registered: July 2009

Senior Member

JGit uses Java's default ProxySelector (see HttpSupport.proxyFor()).
EGit uses the Eclipse proxy settings (see org.eclipse.egit.core.EclipseProxySelector)

JGit and EGit could learn to respect proxy settings defined in git config.
Improvements welcome.

Report message to a moderator

Re: Git http proxy [message #1738095 is a reply to message #1737407]

Fri, 15 July 2016 17:25

Daniel Platz

Messages: 5
Registered: July 2016

Junior Member

Hi Matthias,
Would be interested to contribute. How can i best get some feedback on the best approach to implement this. jgit-dev mailing list?

Thanks,
Daniel

Report message to a moderator