diff options
| author | Rarylson Freitas <rarylson@gmail.com> | 2016-12-08 18:49:58 -0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2016-12-08 21:49:58 +0100 |
| commit | 26aae6b5834e1342d9b95a894a5bb24159b367bf (patch) | |
| tree | 501374c4c568de71a2043994bd0ff27d774eec53 /plugins/colored-man-pages | |
| parent | 937a7f66ef852c2d2a5da7907504f6d61ed92433 (diff) | |
| download | zsh-26aae6b5834e1342d9b95a894a5bb24159b367bf.tar.gz zsh-26aae6b5834e1342d9b95a894a5bb24159b367bf.tar.bz2 zsh-26aae6b5834e1342d9b95a894a5bb24159b367bf.zip | |
Fix (plugins debian and ubuntu): `apt-history list` using `zgrep` (#5695)
Changing from `zcat` to `zgrep` because some `zcat` implementations do not work
if the file is not compressed.
Diffstat (limited to 'plugins/colored-man-pages')
0 files changed, 0 insertions, 0 deletions