From: nimaje <16106983+nimaje@users.noreply.github.com> Date: Fri, 5 Feb 2021 12:22:35 +0000 (+0100) Subject: docs: fix FILE example url in --metalink documentation X-Git-Tag: curl-7_76_0~214 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=373c9155a085d38a10a04d5c418e2f15d8e61926;p=thirdparty%2Fcurl.git docs: fix FILE example url in --metalink documentation In a url after :// follows the possibly empty authority part till the next /, so that url missed a /. Closes #6573 Reviewed-by: Daniel Stenberg Reviewed-by: Daniel Gustafsson --- diff --git a/docs/MANUAL.md b/docs/MANUAL.md index 466ab19d4d..79ec4facc6 100644 --- a/docs/MANUAL.md +++ b/docs/MANUAL.md @@ -968,7 +968,7 @@ Example to use a remote Metalink file: To use a Metalink file in the local file system, use FILE protocol (`file://`): - curl --metalink file://example.metalink + curl --metalink file:///example.metalink Please note that if FILE protocol is disabled, there is no way to use a local Metalink file at the time of this writing. Also note that if `--metalink` and diff --git a/docs/cmdline-opts/metalink.d b/docs/cmdline-opts/metalink.d index 8837664397..888e807181 100644 --- a/docs/cmdline-opts/metalink.d +++ b/docs/cmdline-opts/metalink.d @@ -17,7 +17,7 @@ Example to use a remote Metalink file: To use a Metalink file in the local file system, use FILE protocol (file://): - curl --metalink file://example.metalink + curl --metalink file:///example.metalink Please note that if FILE protocol is disabled, there is no way to use a local Metalink file at the time of this writing. Also note that if --metalink and