diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-01-22 14:19:49 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-01-22 14:19:49 +0000 |
| commit | 1bd15efef1dfe0fff29a448fb719b5dfc2a0e861 (patch) | |
| tree | 4b1206faf2a08858dd1a5fd993e4425a825aa871 /groups/800.minipix.group | |
| parent | 15563993a0b8ebfcf663a8a99566ee0d6e6091a2 (diff) | |
| download | midipix_build-1bd15efef1dfe0fff29a448fb719b5dfc2a0e861.tar.bz2 midipix_build-1bd15efef1dfe0fff29a448fb719b5dfc2a0e861.tar.xz | |
Implements ${{DEFAULT,PKG,...}_MIRRORS}.
build.sh:build(): define and zero-initialise ${DEFAULT_MIRRORS}.
etc/README.md: updated.
midipix.env: adds ${DEFAULT_MIRRORS} (https://midipix.org/mirror/ https://midipix.lucioillanes.de/archives/).
subr.rtl/rtl_fetch.subr:rtl_fetch_url_wget(): receive and operate on target name and optional list of mirrors.
subr/pkg_fetch_download.subr: additionally pass ${PKG_NAME} and ${PKG_MIRRORS} to rtl_fetch_url_wget().
Diffstat (limited to 'groups/800.minipix.group')
0 files changed, 0 insertions, 0 deletions