Cloning the repository behind a web proxy

[Roberto García López]

Hi there,

I wanna download the current-development branch but I'm behind a HTTP proxy.

When I use the command shown in the Wiki page

# git clone git://git.minix3.org/minix src

I get the following error:

fatal: Unable to look up git.minix3.org (port 9418) (No such host is known.)

Can I use "git clone git" behind a HTTP Proxy?

If the answer is NO: is there a way to download the sources through a command like this

# git clone http://git.minix3.org/minix src

instead

# git clone git ...

Because in this way I can configure the git command to use the proxy.

Thanks.

[Zihao Wang]

(I think this is a git-related issue. Its not specifically about MINIX. You should post to places that are about git)

I don't know much about how you access the internet. But at least you can browse web pages, both http and https pages, right?  When I visit GitHub, I often clone repos this way:

git clone https://github.com/username/reponame.git

I guess using the same protocol used to transmit webpages will be fine.

Sent using CloudMagic

--
You received this message because you are subscribed to the Google Groups "minix3" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minix3+un...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Roberto García López]

I was checking GitHub but the last commit was a year ago and I wanna get the current development.

So I'll ask the Minix specific question:

Can I clone the repository using HTTP?

[r0ller]

I also had the same problem behind certain proxies and could not overcome it. But by now I know behind which proxy it works and with which not and then I clone only when I know it works:) Unfortunately, I cannot make a general statement about the difference between these proxies, it just got to work out of mere luck and I didn't have the time to dig deeper in the issue.

Regards,

r0ller

[Zihao Wang]

I just tried http and https on MINIX repo; both didn't work. Maybe some special handling on the server side is necessary.

I googled a little and find that there seems to be a way to proxy git protocol over an http proxy, using a programme called socat. Visit this page:
http://gitolite.com/git-over-proxy.html

Sent using CloudMagic

[r0ller]

Sorry, I forgot to mention that to make it work behind a proxy (the one behind which cloning works for me) I had to set the environment variable http_proxy and also set it in git as something like 'git config --global http.proxy yourproxy' as far as I can remember.

Regards,

r0ller

[Antoine LECA]

Roberto García López wrote:
> I was checking GitHub but the last commit was a year ago

My personal repo at github was up-to-date with respect to
git.minix3.org/minix.git last time I checked.

http://github.com/antoineL/minix

Of course there are also a lot more things, but if you stick to just
master, this may give you a hand.


Antoine