From 30fd6a32a2590fad0e06493cd505e45ae507f418 Mon Sep 17 00:00:00 2001 From: sophia Date: Tue, 14 Feb 2023 16:05:00 -0800 Subject: [PATCH] Update curl download options docs --- website/content/docs/vagrantfile/machine_settings.mdx | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/website/content/docs/vagrantfile/machine_settings.mdx b/website/content/docs/vagrantfile/machine_settings.mdx index 4a437f03c..4a59d81ea 100644 --- a/website/content/docs/vagrantfile/machine_settings.mdx +++ b/website/content/docs/vagrantfile/machine_settings.mdx @@ -76,7 +76,9 @@ the name of the synced folder plugin. to pass to the downloader. For example, a path to a key that the downloader should use could be specified as `{key: ""}`. The keys should be options supported by `curl` using the unshortened form of the flag. For - example, use `append` instead of `a`. + example, use `append` instead of `a`. To pass a curl option that does not + accept a value, include the option in the map with the value `true`. For + example specify the `--fail` flag as `{fail: true}`. - `config.vm.box_download_insecure` (boolean) - If true, then SSL certificates from the server will not be verified. By default, if the URL is an HTTPS