Fix filenames for jigdo and zsync

diff --git a/debian-dl b/debian-dl
index 9dd94bf67781987dc9139dade09d1f01cf418b82..0dc6a7e7104c4a5766d2251fcb98a19ebe92de68 100755 (executable)
--- 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