diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-12-31 08:10:28 +0100 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2019-01-18 14:41:10 +0000 |
| commit | eac6797380af1f0927ab683e2375429826d34e76 (patch) | |
| tree | 4d292ad4c8eac2df780174bbcbe143802be68de9 /doc/functions.xml | |
| parent | 487d2a7ccdf520e60b77809681e4ca377a7b741d (diff) | |
prefer-fetch-remote: an overlay to fetch on remote builders
This is useful when running tools like NixOps or nix-review
on workstations where the upload to the builder is significantly
slower then downloading the source on the builder itself.
Diffstat (limited to 'doc/functions.xml')
| -rw-r--r-- | doc/functions.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/functions.xml b/doc/functions.xml index 4193bb49f77a..e6d59ebde978 100644 --- a/doc/functions.xml +++ b/doc/functions.xml @@ -14,4 +14,5 @@ <xi:include href="functions/fhs-environments.xml" /> <xi:include href="functions/shell.xml" /> <xi:include href="functions/dockertools.xml" /> + <xi:include href="functions/prefer-remote-fetch.xml" /> </chapter> |