mirror of
https://gitlab.archlinux.org/archlinux/infrastructure.git
synced 2025-01-18 08:06:16 +01:00
b3256827b1
There is a need for build servers to never build against outdated repo databases, even with syncrepo providing a local mirror that is updated every minute. To that effect, we adjust mirrorlist on build servers so the first mirror is the tier0 mirror provided by gemini. Keep the syncrepo role on build servers in order to have a local cache of packages and avoid concurrent build jobs downloading the same files causing them to be corrupted. Finally, configure gemini to use its own repos (like other mirrors do).
8 lines
289 B
Django/Jinja
8 lines
289 B
Django/Jinja
{% if 'buildservers' in group_names %}
|
|
Server = https://repos.archlinux.org/$repo/os/$arch
|
|
{% endif %}
|
|
{% if 'mirrors' in group_names or inventory_hostname == 'gemini.archlinux.org' %}
|
|
Server = file:///srv/ftp/$repo/os/$arch
|
|
{% endif %}
|
|
Server = https://mirror.pkgbuild.com/$repo/os/$arch
|