toolchain/getter_script.sh

   1 #!/bin/bash
   2 wget -nd --passive-ftp $@ || (
   3         echo Retrying from gumstix alternate site...
   4         index=$#-1
   5         # Copy all params into an array
   6         for (( i=0; $?==0; i++ ));do a[$i]=$1; shift; done
   7         # Chop all but filename from last param and prepend out URL
   8         a[$index]=${a[index]/*\//http:\/\/files.gumstix.com/}
   9         # Now wget that from out server
  10         wget -nd ${a[@]}
  11 )