Many ISO's come in *.iso.gz form.
Right now, a workaround is required in the GUI to accomplish this:
* Set up the download
* In the filename section, remove the ".gz" or it will complain that it's a bad filename
* After the download, in the shell
Wouldn't it make sense to just allow gz download (and even auto-gunzip)?
Right now, a workaround is required in the GUI to accomplish this:
* Set up the download
* In the filename section, remove the ".gz" or it will complain that it's a bad filename
* After the download, in the shell
Code:
mv xyz.iso xyz.iso.gz
gunzip xyz.iso.gz
rm xyz.iso.gzWouldn't it make sense to just allow gz download (and even auto-gunzip)?