LinuxGUI/EXLIB/download_lib.sh

   1 #!/bin/bash
   2
   3 if [ -z "$1" ]; then
   4     echo "please input url"
   5     exit 1
   6 fi
   7
   8 if [ -n "$2" ]; then
   9     proxy_opt="-x $2"
  10 fi
  11
  12 rm -rf download
  13 mkdir -p download
  14 cd download
  15
  16 grep pool ../README.txt | while read line; do
  17     a="$line"
  18     b=$(basename "$a")
  19     echo "downloading $b ..."
  20     curl -s $1/debian/"$a" $proxy_opt -o "$b"
  21
  22     a=$(echo $line | sed "s/mips64el/i386/g")
  23     b=$(basename "$a")
  24     echo "downloading $b ..."
  25     curl -s $1/debian/"$a" $proxy_opt -o "$b"
  26 done
  27
  28 cd ..