You can use the following commands:
http_proxy=http://<proxy_server>:<port_number> Note the colon (:) in between the proxy_server and the port_number then use wget instead of svn: wget -r http://gnuradio.org/svn/gnuradio/trunk/ That should solve your problem! :) -- View this message in context: http://www.nabble.com/URGENT-%28Requires-immediate-reply%29-PROBLEM%3A-Can%27t-make-howto-example.-tp14748268p15629731.html Sent from the GnuRadio mailing list archive at Nabble.com. _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
