From 373c9155a085d38a10a04d5c418e2f15d8e61926 Mon Sep 17 00:00:00 2001 From: nimaje <16106983+nimaje@users.noreply.github.com> Date: Fri, 5 Feb 2021 13:22:35 +0100 Subject: [PATCH] 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 --- docs/MANUAL.md | 2 +- docs/cmdline-opts/metalink.d | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/MANUAL.md b/docs/MANUAL.md index 466ab19d4..79ec4facc 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 883766439..888e80718 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