diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-08-31 19:49:56 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-08-31 19:49:56 -0400 |
| commit | 0b7568fb730439a2fbbf3c4b3b222319faa7e66a (patch) | |
| tree | 4c45df6db55597c2460e29ff5bac0971e944d799 | |
| parent | 2df21b78b98dcfcb1fd36e15b76e78cc2d8587a0 (diff) | |
Drop ssh://... as a required formatting for builtins.fetchGit
| -rw-r--r-- | doc/manual/expressions/builtins.xml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml index 6f3c4e3d0..873f30b06 100644 --- a/doc/manual/expressions/builtins.xml +++ b/doc/manual/expressions/builtins.xml @@ -402,17 +402,10 @@ stdenv.mkDerivation { … } <example> <title>Fetching a private repository over SSH</title> <programlisting>builtins.fetchGit { - url = "ssh://git@github.com/my-secret/repository.git"; + url = "git@github.com:my-secret/repository.git"; ref = "master"; rev = "adab8b916a45068c044658c4158d81878f9ed1c3"; }</programlisting> - - <note><para> - Note the URL format is not the same as <command>git - clone</command>. <function>builtins.fetchGit</function> uses - a <literal>/</literal> instead of a <literal>:</literal> - between <literal>github.com</literal> and - <literal>my-secret</literal>.</para></note> </example> <example> |