diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-11-21 20:00:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-21 20:00:56 +0100 |
commit | 3a05360e53aa08b29360e5cd094a88c0208076f9 (patch) | |
tree | 9b8b58d03514cd285860c70f2370514fe8e97c2f /doc | |
parent | 5ef6417eb093ea21b261e332a2237a9eb1f9cba1 (diff) | |
parent | c95d7d5a8c301cf59fde5ffd9296660bc72c3080 (diff) |
Merge pull request #200082 from panicgh/fetchgit-sparse-checkout
Diffstat (limited to 'doc')
-rw-r--r-- | doc/builders/fetchers.chapter.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/builders/fetchers.chapter.md b/doc/builders/fetchers.chapter.md index 12d8a5d887fd4..43aead0ad5e44 100644 --- a/doc/builders/fetchers.chapter.md +++ b/doc/builders/fetchers.chapter.md @@ -100,10 +100,10 @@ stdenv.mkDerivation { name = "hello"; src = fetchgit { url = "https://..."; - sparseCheckout = '' - directory/to/be/included - another/directory - ''; + sparseCheckout = [ + "directory/to/be/included" + "another/directory" + ]; sha256 = "0000000000000000000000000000000000000000000000000000"; }; } |