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
