diff options
Diffstat (limited to 'scripts/gist')
-rwxr-xr-x | scripts/gist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gist b/scripts/gist index 57da470..5de68c7 100755 --- a/scripts/gist +++ b/scripts/gist | |||
@@ -180,7 +180,7 @@ _sync_repos() { | |||
180 | # clone repos which are not in the local | 180 | # clone repos which are not in the local |
181 | comm -13 <(find $folder -maxdepth 1 -type d | sed '1d; s#.*/##' | sort) \ | 181 | comm -13 <(find $folder -maxdepth 1 -type d | sed '1d; s#.*/##' | sort) \ |
182 | <(cat $list_file | cut -d' ' -f2 | sed 's#.*/##' | sort) \ | 182 | <(cat $list_file | cut -d' ' -f2 | sed 's#.*/##' | sort) \ |
183 | | xargs -I{} git clone git@github.com:{}.git $folder/{} | 183 | | xargs -I{} --max-procs 8 git clone git@github.com:{}.git $folder/{} |
184 | 184 | ||
185 | # pull if remote repo has different blob objects | 185 | # pull if remote repo has different blob objects |
186 | cat $index | cut -d' ' -f2,3 \ | 186 | cat $index | cut -d' ' -f2,3 \ |