wget
é o utilitário de linha de comando que você deseja:
wget -r http://tinyos-main.googlecode.com/svn/tags/release_tinyos_2_1_2/
Faz o download de tudo em:
http://tinyos-main.googlecode.com/svn/tags/release_tinyos_2_1_2/
e todos os subdiretórios - pasta (s) e arquivo (s) - em release_tinyos_2_1_2/
Leitura adicional :
Página inicial :