On 2026-05-25 23:11:36 -0700, Paul Eggert wrote:
> I shook free some time to address the issue with gzip, which was the focus
> of the original bug report, and installed the attached patch. Boldly closing
> the bug report; we can reopen it if I missed something.

Thanks. I haven't tried it yet, but I've noticed a duplicate "is"
in gzexe.in:

-      printf >&2 '%s\n' "$0: $i is already gzexe'd"
+      printf >&2 '%s\n' "$0: file is is already gzexe'd"

Patch attached to remove this duplicate "is".

-- 
Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
diff --git a/gzexe.in b/gzexe.in
index 3a78df5..ff89bfa 100644
--- a/gzexe.in
+++ b/gzexe.in
@@ -92,7 +92,7 @@ for i do
   if test $decomp -eq 0; then
     case `LC_ALL=C 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: file is is already gzexe'd"
+      printf >&2 '%s\n' "$0: file is already gzexe'd"
       continue;;
     esac
   fi

Reply via email to