Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

grep: add --version #629

Merged
merged 1 commit into from
May 30, 2024
Merged

grep: add --version #629

merged 1 commit into from
May 30, 2024

Conversation

mknos
Copy link
Contributor

@mknos mknos commented May 30, 2024

  • Previously it wasn't possible to show $VERSION info
  • While here, sync usage string with SYNPOSIS in pod
  • Also add dashes to the options in the extended usage description for clarity

* Previously it wasn't possible to show $VERSION info
* While here, sync usage string with SYNPOSIS in pod
* Also add dashes to the options in the extended usage description for clarity
@github-actions github-actions bot added Type: enhancement improve a feature that already exists Priority: low get to this whenever Program: grep The grep program labels May 30, 2024
@briandfoy briandfoy added Type: documentation fix the docs Type: enhancement improve a feature that already exists and removed Type: enhancement improve a feature that already exists labels May 30, 2024
@briandfoy briandfoy merged commit 3b67f60 into briandfoy:master May 30, 2024
2 checks passed
@briandfoy briandfoy self-assigned this May 30, 2024
@briandfoy
Copy link
Owner

changes: allow --version option

@briandfoy briandfoy added Status: accepted The fix is accepted and removed Priority: low get to this whenever labels Jul 11, 2024
@briandfoy briandfoy added Status: released there is a new release with this fix and removed Status: accepted The fix is accepted labels Sep 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Program: grep The grep program Status: released there is a new release with this fix Type: documentation fix the docs Type: enhancement improve a feature that already exists
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants