Tool to download Fedora iso and image files


Keywords
program, utility, Propose Tags
License
GPL-3.0-only
Install
cabal install dl-fedora-0.8

Documentation

dl-fedora

GitHub CI Hackage GPL-3 license Stackage Lts Stackage Nightly

A tool for downloading Fedora images. By default it targets the Workstation edition of Fedora.

Usage examples:

dl-fedora rawhide : downloads the latest Fedora Rawhide Workstation Live iso

dl-fedora -e silverblue 34 : downloads the Fedora Silverblue iso

dl-fedora -e kde respin : downloads the latest KDE Live respin

dl-fedora --edition server --arch aarch64 33 : will bring down the F33 Server iso for armv8

dl-fedora --run 34 : will download Fedora 34 Workstation and boot the Live image with qemu-kvm.

dl-fedora --local rawhide : shows the current locally available image (as well as the latest one).

By default dl-fedora downloads to ~/Downloads/ (correctly the XDG user "DOWNLOADS" directory), but if you create ~/Downloads/iso/ it will use that directory instead.

If the image is already found to be downloaded it will not be downloaded again of course. Curl is used to do the downloading: partial downloads will continue.

A symlink to the latest iso is also created: eg for rawhide it might be "Fedora-Workstation-Live-x86_64-Rawhide-latest.iso".

It also tries to check the iso checksum and its gpg signature.