diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2024-03-07 14:04:58 +0100 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2024-03-08 14:18:43 +0100 |
| commit | 17f6d64660c1fed29a948ba39b4a190b9a243ebb (patch) | |
| tree | 3d12f56397fc3a302e6ca2b5ecc62cafbb4adce5 /doc/concepts | |
| parent | b1c05265f0f1654511135bb2392ef78b9cd108d1 (diff) | |
| download | justbuild-17f6d64660c1fed29a948ba39b4a190b9a243ebb.tar.gz | |
doc: Improve description of "preferred hostnames"
Diffstat (limited to 'doc/concepts')
| -rw-r--r-- | doc/concepts/alternative-mirrors.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/concepts/alternative-mirrors.md b/doc/concepts/alternative-mirrors.md index 5572eda9..4e934665 100644 --- a/doc/concepts/alternative-mirrors.md +++ b/doc/concepts/alternative-mirrors.md @@ -54,7 +54,7 @@ keys in its JSON object. mirrors. Those mirrors are always tried first (in the given order) before any other URL is contacted. - For the optional key `"preferred hostnames"`, if given, a list of - host names is specified. When fetching from a non-local URL, URLs + host names is specified. When fetching from a non-local mirror, URLs with host names in the given list are preferred (in the order given) over URLs with other host names. |