user-tools/wget-mirror

   1 #!/bin/bash
   2
   3 url=$1
   4 shift
   5 wget_args=("$@")
   6
   7 {
   8         url_noproto=${url#*://}
   9         url_noproto_nodomain_noleadingslash=${url_noproto#*/}
  10         url_path_noleadingslash=${url_noproto_nodomain_noleadingslash%%\?*}
  11         slashes=${url_path_noleadingslash//[!\/]}
  12         depth=${#slashes}
  13 }
  14
  15 exec wget --recursive --no-parent --timestamping --reject-regex='/(index\.html|)\?.+' --no-host-directories --cut-dirs=$depth "$url" "${wget_args[@]}"