GNU bug report logs - #47834
grep: Document --group-separator/--no-group-separator

Previous Next

Package: grep;

Reported by: Kevin Locke <kevin <at> kevinlocke.name>

Date: Sat, 17 Apr 2021 00:15:01 UTC

Severity: minor

Tags: patch

Done: Jim Meyering <jim <at> meyering.net>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 47834 in the body.
You can then email your comments to 47834 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-grep <at> gnu.org:
bug#47834; Package grep. (Sat, 17 Apr 2021 00:15:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to Kevin Locke <kevin <at> kevinlocke.name>:
New bug report received and forwarded. Copy sent to bug-grep <at> gnu.org. (Sat, 17 Apr 2021 00:15:01 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Kevin Locke <kevin <at> kevinlocke.name>
To: bug-grep <at> gnu.org
Subject: grep: Document --group-separator/--no-group-separator
Date: Fri, 16 Apr 2021 18:14:23 -0600

[Message part 1 (text/plain, inline)]
Severity: minor
Tags: patch

Dear Maintainer,

It would be great if the grep.1 man page and --help usage information
included the --group-separator and --no-group-separator options (which
are already documented in grep.texi).  I've attached patches to do that.

Thanks,
Kevin

[0001-doc-man-add-group-separator-no-group-separator.patch (text/x-diff, attachment)]
[0002-doc-usage-group-separator-no-group-separator.patch (text/x-diff, attachment)]
Reply sent to Jim Meyering <jim <at> meyering.net>:
You have taken responsibility. (Sat, 07 Aug 2021 05:24:02 GMT) Full text and rfc822 format available.
Notification sent to Kevin Locke <kevin <at> kevinlocke.name>:
bug acknowledged by developer. (Sat, 07 Aug 2021 05:24:02 GMT) Full text and rfc822 format available.

Message #10 received at 47834-done <at> debbugs.gnu.org (full text, mbox):

From: Jim Meyering <jim <at> meyering.net>
To: Kevin Locke <kevin <at> kevinlocke.name>
Cc: 47834-done <at> debbugs.gnu.org
Subject: Re: bug#47834: grep: Document --group-separator/--no-group-separator
Date: Fri, 6 Aug 2021 22:22:50 -0700

On Fri, Apr 16, 2021 at 5:15 PM Kevin Locke <kevin <at> kevinlocke.name> wrote:
> It would be great if the grep.1 man page and --help usage information
> included the --group-separator and --no-group-separator options (which
> are already documented in grep.texi).  I've attached patches to do that.

Thank you. I've applied those with one tiny change:
I added an additional space between the option spec and its
description to placate "make syntax-check".
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 04 Sep 2021 11:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 3 years and 287 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.