From 0b7568fb730439a2fbbf3c4b3b222319faa7e66a Mon Sep 17 00:00:00 2001 From: Graham Christensen Date: Fri, 31 Aug 2018 19:49:56 -0400 Subject: Drop ssh://... as a required formatting for builtins.fetchGit --- doc/manual/expressions/builtins.xml | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'doc') diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml index 6f3c4e3d0b65..873f30b062ee 100644 --- a/doc/manual/expressions/builtins.xml +++ b/doc/manual/expressions/builtins.xml @@ -402,17 +402,10 @@ stdenv.mkDerivation { … } Fetching a private repository over SSH builtins.fetchGit { - url = "ssh://git@github.com/my-secret/repository.git"; + url = "git@github.com:my-secret/repository.git"; ref = "master"; rev = "adab8b916a45068c044658c4158d81878f9ed1c3"; } - - - Note the URL format is not the same as git - clone. builtins.fetchGit uses - a / instead of a : - between github.com and - my-secret. -- cgit 1.4.1