diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2020-06-01 14:29:55 +0200 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2021-09-15 01:54:32 +0200 |
| commit | fa46e8b0c30e4dfc880d6abb2503d0d05e75ed33 (patch) | |
| tree | d8e5f72745fbca4fbf52306c09bb34ba02161887 /debian/patches/make-zsh-static-really-static-#993843.patch | |
| parent | 656e42ecf2c019f1fe0d2ab07cbc69dcaec491d7 (diff) | |
| download | zsh-fa46e8b0c30e4dfc880d6abb2503d0d05e75ed33.tar.gz zsh-fa46e8b0c30e4dfc880d6abb2503d0d05e75ed33.zip | |
debian/zshrc: Don't use grep to check if we're in Ubuntu
ZSH provides already everything to grep a file without having to use
external programs, that can only cause a slowdown in the ZSH
initialization.
This can save some milliseconds at each zsh initialization, as we
avoid a fork.
Merges MR!2.
Diffstat (limited to 'debian/patches/make-zsh-static-really-static-#993843.patch')
0 files changed, 0 insertions, 0 deletions