# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1216881749 0
# Node ID 32ad25a4765ec179c1224b097282124c6072bd17
# Parent  c9bb5606a2650feb8af4560cb7c3a0e5d1204c64
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(-)

diff -r c9bb5606a265 -r 32ad25a4765e scripts/functions
--- a/scripts/functions	Tue Jul 22 14:17:10 2008 +0000
+++ b/scripts/functions	Thu Jul 24 06:42:29 2008 +0000
@@ -334,9 +334,10 @@
     local file="$1"
     local first_ext=""
     shift
+    # If next argument starts with a dot, then this is not an URL,
+    # and we can consider that it is a preferred extension.
     case "$1" in
-        .tar.bz2|.tar.gz|.tgz|.tar)
-            first_ext="$1"
+        .*) first_ext="$1"
             shift
             ;;
     esac