From 3364635c62966108fd4180d81620885ff9e65993 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Wed, 26 Feb 2014 17:01:00 -0300
Subject: Fix filenames for jigdo and zsync

---
 debian-dl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian-dl b/debian-dl
index 9dd94bf..0dc6a7e 100755
--- a/debian-dl
+++ b/debian-dl
@@ -42,6 +42,9 @@ if echo $FILENAME | grep -qe '.jigdo$'; then
 
   # Get the image using jigdo
   jigdo-lite $URL
+
+  # Fix filename
+  FILENAME="`basename $FILENAME .jigdo`.iso"
 elif echo $FILENAME | grep -qe '.zsync$'; then
   # Check for zsync
   if ! which zsync &> /dev/null; then
@@ -51,6 +54,9 @@ elif echo $FILENAME | grep -qe '.zsync$'; then
 
   # Get the image using zsync
   zsync $URL
+
+  # Fix filename
+  FILENAME="`basename $FILENAME .zsync`.iso"
 else
   # Check for wget
   if ! which wget &> /dev/null; then
-- 
cgit v1.2.3