linuxboot / heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.
https://osresearch.net/
GNU General Public License v2.0
1.42k stars 187 forks source link

bin/seed_package_mirror.sh: Script to seed a package mirror #1768

Closed JonathonHall-Purism closed 2 months ago

JonathonHall-Purism commented 2 months ago

Run this to download all the needed package artifacts for a mirror.

tlaurion commented 2 months ago

ircleCI hiccuped. Built there https://app.circleci.com/pipelines/github/tlaurion/heads/2792/workflows/c2663d0f-52fa-4da6-aa9f-9221c2521c6b