diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-09 15:46:42 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
| commit | 8ac435162ff41d8b83b2f94dec67a945b7a73b5d (patch) | |
| tree | 542d01fc6657008ab13aa7167e6422fdcaac2283 /doc | |
| parent | 28596730eb3ef6231537d702ea16e54d144459bc (diff) | |
| download | justbuild-8ac435162ff41d8b83b2f94dec67a945b7a73b5d.tar.gz | |
alternative-mirrors design doc: Update local specification key names
This improves clarity while maintaining specificity of the JSON
file entries. Also fixes the typo in the design document name.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/future-designs/alternative-mirrors.md (renamed from doc/future-designs/alternative-mirros.md) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/future-designs/alternative-mirros.md b/doc/future-designs/alternative-mirrors.md index 265ab83f..9839572d 100644 --- a/doc/future-designs/alternative-mirros.md +++ b/doc/future-designs/alternative-mirrors.md @@ -49,11 +49,11 @@ has access to the respective project. In order to avoid polluting a multi-repository specification with the URLs of such restricted mirrors, the `.just-local` file is extended to support additional keys in its JSON object. -- For the optional key `"additional mirrors"`, if given, a JSON object +- For the optional key `"local mirrors"`, if given, a JSON object is specified that maps primary URLs to a list of local (non-public) mirrors. Those mirrors are always tried first (in the given order) before any other URL is contacted. -- For the optional key `"preferred mirrors"`, if given, a list of +- For the optional key `"preferred hostnames"`, if given, a list of host names is specified. When fetching from a non-local URL, URLs with host names in the given list are preferred (in the order given) over URLs with other host names. |