gzexe: optimize out a grep
commit0e2d07fc2c4393cfb9dbab580d0bee4525b9c9b3
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 5 Apr 2022 06:52:49 +0000 (4 23:52 -0700)
committerJim Meyering <meyering@fb.com>
Thu, 7 Apr 2022 16:28:24 +0000 (7 09:28 -0700)
tree92f29fdc7e99aa614faa1c91b150a6bf15491667
parent6543c09c6ecfb1630085d440b76511953bc5a2cb
gzexe: optimize out a grep

* gzexe.in: Avoid an unnecessary invocation of ‘grep’,
by using sed instead.  Also, look only for at-most-3-digit numbers,
for consistency with the rest of the script.
gzexe.in