yes, it seems like a dns problem... try going to http://gnuradio.org/ from your browser by the way, which country are you in?
Dimitris Symeonidis "If you think you're too small to make a difference, try sleeping with a mosquito!" - Amnesty International On Sat, Sep 27, 2008 at 08:40, Umair Nasir <[EMAIL PROTECTED]> wrote: > Hi! > I am facing problem with installing grc, so i decided to download from gnu > trunk which has grc available. When i put the following command > > svn co http://gnuradio.org/svn/gnuradio/trunk gnuradio > > I get the error > > svn: OPTIONS of 'http://gnuradio.org/svn/gnuradio/trunk': Could not resolve > host > name `gnuradio.org': Unknown host (http://gnuradio.org) > > The svn i am using is subversion 1.5.1-1 installed through cygwin.exe > I am connected to the internet through LAN in my college. > > Could this be DNS problem or what?? > Looking for help > > > > -- > Umair > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org > http://lists.gnu.org/mailman/listinfo/discuss-gnuradio > > _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio