diff options
| author | typebrook <typebrook@gmail.com> | 2020-01-29 10:01:51 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-01-29 10:01:51 +0800 |
| commit | 73d775c6369bb02c4dd091ce4424a22569276f18 (patch) | |
| tree | 6352b9aa483a279cf1573d2cda513178c6eb46f5 | |
| parent | 8e32cb58c9decd74d6a91b67c9bee7f960bda6c6 (diff) | |
update
| -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 \ |