diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-03-12 00:13:51 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-12 00:13:51 +0000 |
| commit | f2032fa12b9143fc1ae8dd64c530e725fa013e0b (patch) | |
| tree | be57a57ea48493c91137a18400078ae2ccdc137a /doc | |
| parent | f2ae2be316594098fee7140ee6d151e8c05cd0a5 (diff) | |
| parent | 8b6900dc2ff916fe0c8b6ed250f1ef55d9962bb2 (diff) | |
Merge master into haskell-updates
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/builders/fetchers.chapter.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/builders/fetchers.chapter.md b/doc/builders/fetchers.chapter.md index 551df86a58f40..ecff01894840b 100644 --- a/doc/builders/fetchers.chapter.md +++ b/doc/builders/fetchers.chapter.md @@ -71,6 +71,7 @@ The main difference between `fetchurl` and `fetchzip` is in how they store the c - `relative`: Similar to using `git-diff`'s `--relative` flag, only keep changes inside the specified directory, making paths relative to it. - `stripLen`: Remove the first `stripLen` components of pathnames in the patch. +- `decode`: Pipe the downloaded data through this command before processing it as a patch. - `extraPrefix`: Prefix pathnames by this string. - `excludes`: Exclude files matching these patterns (applies after the above arguments). - `includes`: Include only files matching these patterns (applies after the above arguments). |