doc: Add comment for fetchurl for name & url

fetchurl can be given a name and url aside from just the url.
Giving a name can be useful if the url has invalid characters such as
tilde for the store.
This commit is contained in:
Farid Zakaria 2024-07-14 19:07:18 -07:00
parent db3e99d9d4
commit a4ce96e5f1

View file

@ -529,9 +529,20 @@ static void prim_fetchurl(EvalState & state, const PosIdx pos, Value * * args, V
static RegisterPrimOp primop_fetchurl({ static RegisterPrimOp primop_fetchurl({
.name = "__fetchurl", .name = "__fetchurl",
.args = {"url"}, .args = {"args"},
.doc = R"( .doc = R"(
Download the specified URL and return the path of the downloaded file. If args is a URL, return the path of the downloaded file.
Otherwise, it can be an attribute with the following attributes
(all except url are optional):
- `url`
The URL of the file to download.
- `name` (default: `url without the protocol`)
A name for the file in the store. This can be useful if the URL has any
characters that are invalid for the store.
Not available in [restricted evaluation mode](@docroot@/command-ref/conf-file.md#conf-restrict-eval). Not available in [restricted evaluation mode](@docroot@/command-ref/conf-file.md#conf-restrict-eval).
)", )",