diff options
author | Bo Ørsted Andresen <bo.andresen@zlin.dk> | 2007-03-09 10:21:56 +0000 |
---|---|---|
committer | Bo Ørsted Andresen <bo.andresen@zlin.dk> | 2007-03-09 10:21:56 +0000 |
commit | ef45d9e695259fcf2f9583407d70f199fd118912 (patch) | |
tree | aaf05afdf599f07c34a04de6130533c909f60f26 | |
parent | dedcd1669df81da27013c2339fb97de2eb7763a6 (diff) | |
download | wgetpaste-ef45d9e695259fcf2f9583407d70f199fd118912.tar.gz |
Fix support for multiple files specified after --
-rwxr-xr-x | wgetpaste | 18 |
1 files changed, 10 insertions, 8 deletions
@@ -368,13 +368,15 @@ no_argument() { } get_filename() { - if [[ -f "${1}" ]]; then - SOURCE="files" - FILES[${#FILES[*]}]="${1}" - else - echo "${0}: ${1}: No such file found. " 1>&2 - exit 1 - fi + for ((i=0; i<${#}; i++)); do + if [[ -f "${1}" ]]; then + SOURCE="files" + FILES[${#FILES[*]}]="${1}" + else + echo "${0}: ${1}: No such file found. " 1>&2 + exit 1 + fi + done } while [[ ! -z "${1}" ]]; do @@ -458,7 +460,7 @@ while [[ ! -z "${1}" ]]; do shift ;; -- ) - get_filename "${2}" && break + shift && get_filename "${@}" && break ;; *) get_filename "${1}" && shift |