tools: use --filter=blob:none to reduce initial network trafic for most of the git clone commands, done by tools like oldv, gen_vc, fast_job, v translate etc

This commit is contained in:
Delyan Angelov 2023-08-04 11:50:30 +03:00
parent ffdd5bb955
commit d91c7f1b3b
No known key found for this signature in database
GPG key ID: 66886C0F12D595ED
8 changed files with 13 additions and 13 deletions

View file

@ -4,7 +4,7 @@ import scripting
import vgit
const (
tool_version = '0.0.3'
tool_version = '0.0.4'
tool_description = ' Checkout an old V and compile it as it was on specific commit.
| This tool is useful, when you want to discover when something broke.
| It is also useful, when you just want to experiment with an older historic V.
@ -83,7 +83,7 @@ fn sync_cache() {
repofolder := os.join_path(cache_oldv_folder, reponame)
if !os.exists(repofolder) {
scripting.verbose_trace(@FN, 'cloning to ${repofolder}')
scripting.exec('git clone --quiet https://github.com/vlang/${reponame} ${repofolder}') or {
scripting.exec('git clone --filter=blob:none --quiet https://github.com/vlang/${reponame} ${repofolder}') or {
scripting.verbose_trace(@FN, '## error during clone: ${err}')
exit(1)
}