diff options
-rwxr-xr-x | gist | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -488,11 +488,11 @@ _sync_repos() { | |||
488 | result=$(cat) | 488 | result=$(cat) |
489 | 489 | ||
490 | # clone repos which are not in the local | 490 | # clone repos which are not in the local |
491 | sed -n '/^\t/ !p' <<<$result \ | 491 | sed -ne '/^\t/ !p' <<<$result \ |
492 | | xargs -I{} --max-procs 8 git clone "$(_repo_url {})" $folder/{} & | 492 | | xargs -I{} --max-procs 8 git clone "$(_repo_url {})" $folder/{} & |
493 | 493 | ||
494 | # if repo is cloned, do 'git pull' if remote repo has different blob objects | 494 | # if repo is cloned, do 'git pull' if remote repo has different blob objects |
495 | sed -n '/^\t/ p' <<<$result \ | 495 | sed -ne '/^\t/ s/\t//p' <<<$result \ |
496 | | xargs -I{} --max-procs 8 bash -c '_pull_if_needed {}' | 496 | | xargs -I{} --max-procs 8 bash -c '_pull_if_needed {}' |
497 | } | 497 | } |
498 | } | 498 | } |