diff options
| author |  Jeff King <peff@peff.net> | 2021-11-05 15:08:06 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-11-05 12:01:13 -0700 |
| commit | 3ebeb1d6b10b538b1c1ca05a260e6ad41ea80fd7 (patch) | |
| tree | 2271598a8e8c6a453c8c6f10510412e430f11409 /ewah | |
| parent | generate-cmdlist.sh: stop sorting category lines (diff) | |
| download | tgif-3ebeb1d6b10b538b1c1ca05a260e6ad41ea80fd7.tar.xz | |
generate-cmdlist.sh: do not shell out to "sed"
Replace the "sed" invocation in get_synopsis() with a pure-shell
version. This speeds up generate-cmdlist.sh significantly. Compared to
HEAD~ (old) and "master" we are, according to hyperfine(1):
'sh generate-cmdlist.sh command-list.txt' ran
12.69 ± 5.01 times faster than 'sh generate-cmdlist.sh.old command-list.txt'
18.34 ± 3.03 times faster than 'sh generate-cmdlist.sh.master command-list.txt'
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ewah')
0 files changed, 0 insertions, 0 deletions