From 0e2d07fc2c4393cfb9dbab580d0bee4525b9c9b3 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 4 Apr 2022 23:52:49 -0700 Subject: gzexe: optimize out a grep MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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 | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gzexe.in b/gzexe.in index 04b06a9..1a691e0 100644 --- a/gzexe.in +++ b/gzexe.in @@ -91,10 +91,11 @@ for i do continue fi if test $decomp -eq 0; then - if sed -e 1d -e 2q "$file" | grep "^skip=[0-9][0-9]*$" >/dev/null; then + case `sed -n -e 1d -e '/^skip=[0-9][0-9]*$/p' -e 2q "$file"` in + skip=[0-9] | skip=[0-9][0-9] | skip=[0-9][0-9][0-9]) printf >&2 '%s\n' "$0: $i is already gzexe'd" - continue - fi + continue;; + esac fi if test -u "$file"; then printf >&2 '%s\n' "$0: $i has setuid permission, unchanged" -- cgit v1.2.1