diff options
| -rw-r--r-- | doc/concepts/alternative-mirrors.md | 2 | ||||
| -rw-r--r-- | share/man/just-mr.1.md | 2 |
2 files changed, 2 insertions, 2 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. diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 67313661..7a92466d 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -86,7 +86,7 @@ This file contains a JSON object with several known keys: URLs to a list of local (non-public) mirrors. These mirrors are always tried first (in the given order) before any other URL is contacted. - the key *`"preferred hostnames"`*, if given, is a list of strings - specifying known hostnames. When fetching from a non-local URL, URLs + specifying known hostnames. When fetching from a non-local mirror, URLs with hostnames in the given list are preferred (in the order given) over URLs with other hostnames. |