dl-fedora: Fedora image download tool

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

Tool to download Fedora and Centos Stream 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 ansi-wl-pprint, 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), simple-cmd-args (>=0.1.8), simple-prompt (>=0.2), text, time, unix, xdg-userdirs [details]
Tested with ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.6, ghc ==9.8.2
License GPL-3.0-only
Copyright 2019-2024 Jens Petersen
Author Jens Petersen <juhpetersen@gmail.com>
Maintainer Jens Petersen <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 2024-11-02T09:21:38Z
Distributions Fedora:1.0, LTSHaskell:1.2.1, Stackage:1.2.1
Executables dl-fedora
Downloads 4885 total (56 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 2024-11-02 [all 1 reports]

Readme for dl-fedora-1.2.1

[back to package description]

dl-fedora

Hackage GPL-3 license Stackage Lts Stackage Nightly

A tool for downloading Fedora, ELN, and Centos Stream 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 41 silverblue : downloads the Fedora Silverblue iso

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

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

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

dl-fedora --check respin : checks if there is a newer respin iso image available.

dl-fedora --local rawhide : shows the current locally available image. It can be combined with --run to quickly run the latest local image, without a newer download.

dl-fedora c9s : downloads a Centos Stream 9 net installer.

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

dl-fedora downloads the latest mirrored image redirected from download.fedoraproject.org by default. If you want to ensure getting the very latest image you can use --latest, which will then download from dl.fedoraproject.org instead if your mirror is not synced yet.

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

1.2

$ dl-fedora --help

Fedora iso downloader

Usage: dl-fedora [--version] [-g|--gpg-keys] [--no-checksum | --checksum] 
                 [--debug] [-T|--no-http-timeout] 
                 [(-c|--check) | (-l|--local) | --list | (-R|--replace)] 
                 [-n|--dry-run] [-r|--run] 
                 [(-L|--latest) | (-d|--dl) | (-k|--koji) | (-m|--mirror URL)] 
                 [--dvd] [--cs-live-respin] 
                 [--cs-devel | --cs-test | --cs-production] [-a|--arch ARCH]
                 RELEASE [EDITION]

  Tool for downloading Fedora iso file images.
  RELEASE = release number, respin, rawhide, test (Beta), stage (RC), eln, c9s, c10s
  EDITION = {cloud,container,everything,server,workstation,budgie,cinnamon,i3,
             kde,kdemobile,lxde,lxqt,mate,miracle,soas,sway,xfce,silverblue,
             kinoite,onyx,sericea,iot} [default: workstation]
  
  See <https://github.com/juhp/dl-fedora/#readme>

Available options:
  -h,--help                Show this help text
  --version                Show version
  -g,--gpg-keys            Import Fedora GPG keys for verifying checksum file
  --no-checksum            Do not check checksum
  --checksum               Do checksum even if already downloaded
  --debug                  Debug output
  -T,--no-http-timeout     Do not timeout for http response
  -c,--check               Check if newer image available
  -l,--local               Show current local image
  --list                   List spins and editions
  -R,--replace             Delete previous snapshot image after downloading
                           latest one
  -n,--dry-run             Don't actually download anything
  -r,--run                 Boot image in QEMU
  -L,--latest              Get latest image either from mirror or dl.fp.o if
                           newer
  -d,--dl                  Use dl.fedoraproject.org (dl.fp.o)
  -k,--koji                Use koji.fedoraproject.org
  -m,--mirror URL          Mirror url for /pub [default
                           https://download.fedoraproject.org/pub]
  --dvd                    Download dvd iso instead of boot netinst (for Server,
                           eln, centos)
  --cs-live-respin         Centos Stream Alternative Live image
  --cs-devel               Use centos-stream development compose
  --cs-test                Use centos-stream test compose
  --cs-production          Use centos-stream production compose (default is
                           mirror.stream.centos.org)
  -a,--arch ARCH           Specify arch [default: x86_64]

References

See https://fedoraproject.org/wiki/Infrastructure/MirrorManager, https://admin.fedoraproject.org/mirrormanager/, and also https://fedoramagazine.org/verify-fedora-iso-file.

Contribution

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

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