Hackage :: [Package]

dl-fedora: Fedora image download tool

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Tool to download Fedora and Centos Stream iso and image files.

[Skip to Readme]

Properties

Versions 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.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.7), simple-cmd-args (>=0.1.8), simple-prompt (>=0.2), text, time, unix, xdg-userdirs [details]
License GPL-3.0-only
Copyright 2019-2024 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 2024-05-23T16:01:00Z

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Readme for dl-fedora-1.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 40 silverblue : downloads the Fedora Silverblue iso

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

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

dl-fedora --run 40 : 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. (This behavior changed with 0.10.)

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.1

$ 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) | (-R|--replace)] [-n|--dry-run] 
                 [-r|--run] 
                 [(-L|--latest) | (-d|--dl) | (-k|--koji) | (-m|--mirror URL)] 
                 [--dvd] [--cs-devel | --cs-test] [-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,lxde,lxqt,mate,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
  -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-devel               Use centos-stream development compose
  --cs-test                Use centos-stream test compose (default is
                           production)
  -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.