maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Drop ssh://... as a required formatting for builtins.fetchGit

Browse source
This commit is contained in:
Graham Christensen 2018-08-31 19:49:56 -04:00
parent 2df21b78b9
commit 0b7568fb73
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C
1 changed files with 1 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/manual/expressions/builtins.xml
View file

@ -402,17 +402,10 @@ stdenv.mkDerivation { … }
<example> <example>
<title>Fetching a private repository over SSH</title> <title>Fetching a private repository over SSH</title>
<programlisting>builtins.fetchGit { <programlisting>builtins.fetchGit {
url = "ssh://git@github.com/my-secret/repository.git"; url = "git@github.com:my-secret/repository.git";
ref = "master"; ref = "master";
rev = "adab8b916a45068c044658c4158d81878f9ed1c3"; rev = "adab8b916a45068c044658c4158d81878f9ed1c3";
}</programlisting> }</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>
<example> <example>