Appreciated Erick Decker. Thanks for your collaboration.
Host give me the IP of github.com but when I ran the ping command not appears returns o pings. Alex. On Thu, Jul 17, 2014 at 10:23 AM, Eric Decker <cire...@gmail.com> wrote: > looks like a network connectivity issue. Most likely a DNS problem. > > first solve that problem. > > ie. > > both > > host github.com > > and > > ping github.com > > > should work. > > > > On Wed, Jul 16, 2014 at 4:58 PM, Alex CP <cpa9...@gmail.com> wrote: > >> Hi all. >> >> I have a problem when I try to clone tinyos-main in my raspberrypi >> >> Please someone have any idea about how fix it? >> >> In my Linux terminal appears the next: >> >> ---------------------------------------------------------------------------------------------- >> root@raspberrypi:/opt# git clone git://github.com/tinyos/tinyos-main.git >> Cloning into 'tinyos-main'... >> fatal: unable to connect to github.com: >> github.com: Name or service not known >> >> ----------------------------------------------------------------------------------------------- >> >> Thanks in advance for any idea. >> >> Alex. >> >> _______________________________________________ >> Tinyos-help mailing list >> Tinyos-help@millennium.berkeley.edu >> https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help >> > > > > -- > Eric B. Decker > Senior (over 50 :-) Researcher > >
_______________________________________________ Tinyos-help mailing list Tinyos-help@millennium.berkeley.edu https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
