diff options
author | Daniel Shahaf <d.s@daniel.shahaf.name> | 2017-03-10 09:05:16 +0000 |
---|---|---|
committer | Daniel Shahaf <d.s@daniel.shahaf.name> | 2017-03-14 11:14:13 +0000 |
commit | 46233c40204756df3a927cab3b429df54f8e3d8c (patch) | |
tree | 14e9feda764531424c5e4beafbeb325a4b8ef9bf /Src/zsh_system.h | |
parent | 56ef4f62c424db4b9c93e44a918e25651de03855 (diff) | |
download | zsh-46233c40204756df3a927cab3b429df54f8e3d8c.tar.gz zsh-46233c40204756df3a927cab3b429df54f8e3d8c.tar.xz zsh-46233c40204756df3a927cab3b429df54f8e3d8c.zip |
40817: __git_recent_branches: Retrieve less data, but faster.
By replacing the --grep-reflog=needle argument with a ${(M)...:#needle} filter, we retrieve less data from the reflog, and consequently run (on my test cases) 16% to 40% faster. The trade-off is that we retrieve less data: instead of retrieving the 1000 most recent 'checkout' operations, we retrieve the most recent 1000 operations, which would include fewer than 1000 checkout operations. Also change [[:xdigit:]] to [0-9a-f] since it's faster, however, the absolute gain from this is minor compared to the cost of 'git reflog'.
Diffstat (limited to 'Src/zsh_system.h')
0 files changed, 0 insertions, 0 deletions