Ruoyu Zhong
96cf5513c8
Port brew --repository
to Bash
This provides a significant speedup:
$ hyperfine 'git checkout master; brew --repo homebrew/core' 'git checkout brew-repository-speedup; brew --repo homebrew/core'
Benchmark 1: git checkout master; brew --repo homebrew/core
Time (mean ± σ): 1.737 s ± 0.388 s [User: 0.743 s, System: 0.323 s]
Range (min … max): 1.336 s … 2.438 s 10 runs
Benchmark 2: git checkout brew-repository-speedup; brew --repo homebrew/core
Time (mean ± σ): 459.1 ms ± 91.9 ms [User: 100.5 ms, System: 142.1 ms]
Range (min … max): 366.5 ms … 594.0 ms 10 runs
Summary
git checkout brew-repository-speedup; brew --repo homebrew/core ran
3.78 ± 1.13 times faster than git checkout master; brew --repo homebrew/core
2024-07-14 12:07:11 -04:00
..
2024-05-03 00:32:50 -07:00
2024-07-14 12:07:11 -04:00
2024-06-14 17:26:28 +01:00
2024-07-04 01:47:14 -04:00
2024-06-30 23:05:29 -04:00
2024-06-13 11:44:14 +08:00
2024-07-04 01:47:14 -04:00
2024-05-23 17:15:43 +01:00
2024-07-04 01:47:14 -04:00