Allow GitLinkPrivate$GitCredentialsFile to be set before GitLink is…

… loaded.
WolframResearch · Jul 19, 2018 · 8140dc1 · 8140dc1
1 parent 5cd1e37
commit 8140dc1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/GitLink/Kernel/GitLink.wl b/GitLink/Kernel/GitLink.wl
@@ -110,7 +110,11 @@ Block[{path, $LibraryPath = Join[$GitLibraryPath, $LibraryPath], libname},
 		$Failed,
 
 		$GitLibrary = path;
-		$GitCredentialsFile = SelectFirst[FileNameJoin[{$HomeDirectory, ".ssh", #}] & /@ {"id_rsa", "id_dsa"}, FileExistsQ, FileNameJoin[{$HomeDirectory, ".ssh", "id_rsa"}]];
+		If[!StringQ[$GitCredentialsFile], $GitCredentialsFile = SelectFirst[
+			FileNameJoin[{$HomeDirectory, ".ssh", #}] & /@ {"id_rsa", "id_dsa"},
+			FileExistsQ,
+			FileNameJoin[{$HomeDirectory, ".ssh", "id_rsa"}]
+		]];
 
 		GL`GitLibraryInformation = glFunctionLoad[False, "GitLibraryInformation", LinkObject, LinkObject];