When retrieving a file, allow preferred extension to be whatever starts with a dot, and not only one of .tar.bz2 .tar.gz .tgz or .tar.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jul 24 06:42:29 2008 +0000 (2008-07-24)
changeset 71232ad25a4765e
parent 711 c9bb5606a265
child 713 e074abc50374
When retrieving a file, allow preferred extension to be whatever starts with a dot, and not only one of .tar.bz2 .tar.gz .tgz or .tar.

/trunk/scripts/functions | 5 3 2 0 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
scripts/functions
     1.1 --- a/scripts/functions	Tue Jul 22 14:17:10 2008 +0000
     1.2 +++ b/scripts/functions	Thu Jul 24 06:42:29 2008 +0000
     1.3 @@ -334,9 +334,10 @@
     1.4      local file="$1"
     1.5      local first_ext=""
     1.6      shift
     1.7 +    # If next argument starts with a dot, then this is not an URL,
     1.8 +    # and we can consider that it is a preferred extension.
     1.9      case "$1" in
    1.10 -        .tar.bz2|.tar.gz|.tgz|.tar)
    1.11 -            first_ext="$1"
    1.12 +        .*) first_ext="$1"
    1.13              shift
    1.14              ;;
    1.15      esac