Skip to content

Instantly share code, notes, and snippets.

@staktrace
Created April 20, 2019 19:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save staktrace/04137e7a5a297f3810c7cae74487088c to your computer and use it in GitHub Desktop.
Save staktrace/04137e7a5a297f3810c7cae74487088c to your computer and use it in GitHub Desktop.
+ date
Thu Apr 4 16:01:40 UTC 2019
+ /home/ubuntu/mozsearch/scripts/build-codesearch.py /index/config.json mozilla-central
Walking path_spec name=mozilla-central-__GENERATED__, path=objdir-mozilla-central/
walking full tree
done
Walking repo_spec name=mozilla-central, path=/index/mozilla-central/gecko-dev
walking HEAD... WARN: mozilla-central:HEAD:testing/web-platform/meta/MANIFEST.json is too large to be indexed.
done
Finalizing...
Building filename index...
repository indexed in 384.944899s
== begin metrics ==
index.bytes 1451809583
index.bytes.dedup 1065153373
index.content.chunks 113
index.content.ranges 37853973
index.data.chunks 8
index.files 258951
index.lines 38525397
index.lines.dedup 22688603
timer.git.walk 70917544
timer.index.add_chunk_file 11288554
timer.index.dedup.hash 197710100
timer.index.divsufsort 238137675
timer.index.finish_file 911066
timer.index.fixupnl 6512114
timer.index.index_file 277013234
== end metrics ==
+ date
Thu Apr 4 16:08:07 UTC 2019
+ date
Fri Apr 5 16:46:55 UTC 2019
+ /home/ubuntu/mozsearch/scripts/build-codesearch.py /index/config.json mozilla-central
Walking path_spec name=mozilla-central-__GENERATED__, path=objdir-mozilla-central/
walking full tree
done
Walking repo_spec name=mozilla-central, path=/index/mozilla-central/gecko-dev
walking HEAD... WARN: mozilla-central:HEAD:intl/icu/source/test/testdata/BidiTest.txt is too large to be indexed.
WARN: mozilla-central:HEAD:testing/web-platform/meta/MANIFEST.json is too large to be indexed.
done
Finalizing...
Building filename index...
repository indexed in 3182.659171s
== begin metrics ==
index.bytes 1519903714
index.bytes.dedup 1129109794
index.content.chunks 119
index.content.ranges 40352547
index.data.chunks 9
index.files 261195
index.lines 41521560
index.lines.dedup 25467390
timer.git.walk 70836841
timer.index.add_chunk_file 12425269
timer.index.dedup.hash 3001967457
timer.index.divsufsort 243376941
timer.index.finish_file 921912
timer.index.fixupnl 6670570
timer.index.index_file 3088702832
== end metrics ==
+ date
Fri Apr 5 17:40:00 UTC 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment