scripts/functions
changeset 718 da8af0237e78
parent 695 320862b2d6f1
child 719 dcb9bea1e09b
     1.1 --- a/scripts/functions	Sat Jul 19 22:45:17 2008 +0000
     1.2 +++ b/scripts/functions	Fri Jul 25 09:52:52 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