dl-fedora: Fedora image download tool

[ gpl, program, utility ] [ Propose Tags ]

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
Change log CHANGELOG.md
Dependencies base (<5), bytestring, directory (>=1.2.5), extra, filepath, http-client, http-client-tls, http-directory (>=0.1.10), http-types, optparse-applicative, regex-posix, semigroups, simple-cmd (>=0.2.0), simple-cmd-args (>=0.1.2), text, time, unix, xdg-userdirs [details]
License GPL-3.0-only
Copyright 2019-2023 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 2023-03-23T15:14:52Z
Distributions Fedora:1.0, LTSHaskell:1.0, Stackage:1.0
Executables dl-fedora
Downloads 4454 total (49 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 2023-03-23 [all 1 reports]

Readme for dl-fedora-0.9.4

[back to package description]

dl-fedora

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 37 silverblue : downloads the Fedora Silverblue iso

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

dl-fedora 36 server --arch aarch64 : will download the Server iso for armv8

dl-fedora --run 37 : will download Fedora 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). With --dryrun it doesn't check for newest iso.

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

If the image is already found to be downloaded it will not be re-downloaded 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.

Usage

$ dl-fedora --version
0.9.4
$ dl-fedora --help
Fedora iso downloader

Usage: dl-fedora [--version] [-g|--gpg-keys]
                 [(-C|--no-checksum) | (-c|--checksum)] [-n|--dry-run]
                 [-T|--no-http-timeout] [-l|--local] [-r|--run] [-R|--replace]
                 [(-d|--dl) | (-k|--koji) | (-m|--mirror URL)] [-a|--arch ARCH]
                 RELEASE [EDITION]
  Tool for downloading Fedora iso file images.
  RELEASE = release number, respin, rawhide, test (Beta), stage (RC), eln, c9s
  EDITION = {cloud,container,everything,server,workstation,silverblue,kinoite,
             budgie,cinnamon,i3,kde,lxde,lxqt,mate,soas,sway,
             xfce} [default: workstation]

  See <https://fedoraproject.org/wiki/Infrastructure/MirrorManager>
  and also <https://fedoramagazine.org/verify-fedora-iso-file>.

Available options:
  -h,--help                Show this help text
  --version                Show version
  -g,--gpg-keys            Import Fedora GPG keys for verifying checksum file
  -C,--no-checksum         Do not check checksum
  -c,--checksum            Do checksum even if already downloaded
  -n,--dry-run             Don't actually download anything
  -T,--no-http-timeout     Do not timeout for http response
  -l,--local               Show current local image via symlink
  -r,--run                 Boot image in Qemu
  -R,--replace             Delete previous snapshot image after downloading
                           latest one
  -d,--dl                  Use dl.fedoraproject.org
  -k,--koji                Use koji.fedoraproject.org
  -m,--mirror URL          Mirror url for /pub [default
                           https://download.fedoraproject.org/pub]
  -a,--arch ARCH           Architecture [default: x86_64]

Contribution

dl-fedora is distributed under the GPL 3 license or later.

Please report issues or pull requests at https://github.com/juhp/dl-fedora.