changeset 716 | d557e8f3affc |
parent 695 | 320862b2d6f1 |
child 719 | dcb9bea1e09b |
1.1 --- a/scripts/functions Sat Jul 19 22:45:17 2008 +0000 1.2 +++ b/scripts/functions Thu Jul 24 16:57:03 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