Hello Jean-Baptiste,
Maybe can you try to go to the web bridge (
http://git.minix3.org) and
see if this works?
I just tried from work, and over cellular from my smartphone, both works
fine. I suspect you have a problem on your end.
Also looking at your log, it seems that the hostname is correctly
resolved, but somehow no packet come back. I can confirm the server is
up & running.
Regards,
Lionel
On 07/17/2014 03:16 PM, Jean-Baptiste Boric wrote:
> Hi,
>
> I'm trying to build a 3.3.0 Minix development version, and I'm
> following Lionel Sambuc's instructions in the "3.3.0 status update"
> thread :
>
> 1) git clone git://
git.minix3.org/minix-lionel.git
> 2) cd minix-lionel
> 3) git checkout origin/3.3.0[a-z] # The last letter available is
> the latest revision
>
> Then to generate a disk image bootable in qemu:
> 4) sh ./releasetools/x86_hdimage.sh
> - or -
> 4) sh ./releasetools/arm_sdimage.sh
>
> You can also generate an install iso with :
> 4) sh ./releasetools/x86_hdimage.sh -i
>
>
> But I can't clone any repository from
git.minix3.org
> <
http://git.minix3.org> (using either Git 2.0.1 on Debian x64 or Git
> --
> 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
> <mailto:
minix3+un...@googlegroups.com>.
> For more options, visit
https://groups.google.com/d/optout.