From 6856fe62b0a81a948709498ea53d333b69cfeca9 Mon Sep 17 00:00:00 2001 From: Shea Levy Date: Thu, 22 Mar 2018 19:12:11 -0400 Subject: Document fetchGit. Fixes #1981. --- doc/manual/expressions/builtins.xml | 55 +++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) (limited to 'doc/manual') diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml index 8a32ed8b5c99..47b98460adf6 100644 --- a/doc/manual/expressions/builtins.xml +++ b/doc/manual/expressions/builtins.xml @@ -307,6 +307,61 @@ stdenv.mkDerivation { … } + + + builtins.fetchGit + args + + + + + Fetch a path from git. args can be + a URL, in which case the HEAD of the repo at that URL is + fetched. Otherwise, it can be an attribute with the following + attributes (all except url optional): + + + + + url + + + The URL of the repo. + + + + + name + + + The name of the directory the repo should be exported to + in the store. Defaults to the basename of the URL. + + + + + rev + + + The git revision to fetch. Defaults to the tip of + ref. + + + + + ref + + + The git ref to look for the requested revision under. + This is often a branch or tag name. Defaults to + HEAD. + + + + + + + builtins.filter f xs -- cgit 1.4.1