Add `mirror` key for selecting where the system installs from
User class
"Jamie"
Desire
Ability to select a different mirror than distfiles.adelielinux.org
.
Intent
- Local package mirror to save on bandwidth costs or time.
- Running an install against
next
domain. - Custom package mirror run locally with different versions of packages or a different architecture.
- Tier 3 arches that don't have packages on mirror would require this as well.
Impact
The repository
key can already provide this functionality to a point, but the mirror
key would simplify the case where system
and user
repositories are desired and additionally allows version
to be changed separately from repository
.
Requirements to add
Validation phase
Zero or one mirror
may be present. More than one will be considered an error. If present, must be valid https://
URL.
Similar to version
, this is ignored if repository
is specified.
Execution phase
Controls the URL for the default repositories. Replaces https://distfiles.adelielinux.org/adelie/
entirely.
Proposed implementation
mirror
will have a 'default' value of https://distfiles.adelielinux.org/adelie/
, and the default repository selector will be changed to use the value of mirror
for the URL.