make git clone with --depth 1
It will make downloading them faster. Also, I would write it to check if the repos exists and try to `git pull` and checkout if it does.
This commit is contained in:
parent
a77adb870d
commit
9f4e725fb1
1 changed files with 2 additions and 2 deletions
|
|
@ -200,7 +200,7 @@ proc install(packages: seq[String]) =
|
||||||
of "git":
|
of "git":
|
||||||
echo("Executing git...")
|
echo("Executing git...")
|
||||||
removeDir(downloadDir)
|
removeDir(downloadDir)
|
||||||
doCmd("git clone " & pkg.url & " " & downloadDir)
|
doCmd("git clone --depth 1 " & pkg.url & " " & downloadDir)
|
||||||
if dvcsTag != "":
|
if dvcsTag != "":
|
||||||
doCmd("cd \"" & downloadDir & "\" && git checkout " & dvcsTag)
|
doCmd("cd \"" & downloadDir & "\" && git checkout " & dvcsTag)
|
||||||
else: quit("Unknown download method: " & pkg.downloadMethod, QuitFailure)
|
else: quit("Unknown download method: " & pkg.downloadMethod, QuitFailure)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue