dl-fedora: Fedora image download tool

[ gpl, program, utility ] [ Propose Tags ] [ Report a vulnerability ]

Tool to download Fedora iso and image files


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.5, 0.6, 0.7, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.7.6, 0.7.7, 0.8, 0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.5.1, 0.9.6, 1.0, 1.1, 1.2, 1.2.1
Change log CHANGELOG.md
Dependencies base (<5), bytestring, directory (>=1.2.5), extra, filepath, http-directory (==0.1.5 || >=0.1.8), http-types, optparse-applicative, regex-posix, semigroups, simple-cmd (>=0.2.0), simple-cmd-args (>=0.1.2), text, time, unix, xdg-userdirs [details]
Tested with ghc ==8.10.3, ghc ==8.8.4, ghc ==8.6.5, ghc ==8.4.4, ghc ==8.2.2, ghc ==8.0.2, ghc ==7.10.3, ghc ==7.8.4, ghc ==7.6.3, ghc ==7.4.2
License GPL-3.0-only
Copyright 2019-2021 Jens Petersen
Author Jens Petersen
Maintainer juhpetersen@gmail.com
Category Utility
Home page https://github.com/juhp/dl-fedora
Bug tracker https://github.com/juhp/dl-fedora/issues
Source repo head: git clone https://github.com/juhp/dl-fedora.git
Uploaded by JensPetersen at 2021-04-07T14:38:54Z
Distributions Fedora:1.0, LTSHaskell:1.0, Stackage:1.2.1
Executables dl-fedora
Downloads 4874 total (78 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2021-04-07 [all 2 reports]

Readme for dl-fedora-0.8

[back to package description]

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.