From 17f6d64660c1fed29a948ba39b4a190b9a243ebb Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Thu, 7 Mar 2024 14:04:58 +0100 Subject: doc: Improve description of "preferred hostnames" --- share/man/just-mr.1.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'share') 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. -- cgit v1.2.3