This commit is contained in:
Ganesh Viswanathan 2019-04-05 17:46:03 -05:00
commit 8fcf8011a5

View file

@ -96,25 +96,25 @@ proc gitPull*(url: string, outdir = "", plist = "", checkout = "") =
return
let
outdir2 = outdir.quoteShell
outdirQ = outdir.quoteShell
mkDir(outdir2)
mkDir(outdir)
echo "Setting up Git repo: " & url
discard execAction(&"cd {outdir2.quoteShell} && git init .")
discard execAction(&"cd {outdir2.quoteShell} && git remote add origin {url}")
discard execAction(&"cd {outdirQ} && git init .")
discard execAction(&"cd {outdirQ} && git remote add origin {url}")
if plist.len != 0:
# TODO: document this, it's not clear
let sparsefile = outdir / ".git/info/sparse-checkout"
discard execAction(&"cd {outdir2.quoteShell} && git config core.sparsecheckout true")
discard execAction(&"cd {outdirQ} && git config core.sparsecheckout true")
writeFile(sparsefile, plist)
if checkout.len != 0:
echo "Checking out " & checkout
discard execAction(&"cd {outdir2.quoteShell} && git pull --tags origin master")
discard execAction(&"cd {outdir2.quoteShell} && git checkout {checkout}")
discard execAction(&"cd {outdirQ} && git pull --tags origin master")
discard execAction(&"cd {outdirQ} && git checkout {checkout}")
else:
echo "Pulling repository"
discard execAction(&"cd {outdir2.quoteShell} && git pull --depth=1 origin master")
discard execAction(&"cd {outdirQ} && git pull --depth=1 origin master")