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.

Sign up for GitHub

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

Jump to bottom

Render help and documentation on stdout #1385

Merged
merged 5 commits into from Feb 17, 2021
Merged

Render help and documentation on stdout #1385

merged 5 commits into from Feb 17, 2021

Conversation

mavam
Copy link
Member

@mavam mavam commented Feb 17, 2021 •
edited

Interestingly, we did this already for the manual command. The idea is that users that explicitly request help or documentation are interested in getting the result as result—not on a side channel.

📔 Description

📝 Checklist

  • All user-facing changes have changelog entries.
  • Update scripts that use this output.

@mavam
Render help and documentation on stdout
11ed839 
Interestingly, we did this already for the `manual` command. The idea is
that users that explicitly request `help` or `documentation` are
interested in getting the result as result--not on a side channel.
@mavam
Add changelog entry
f381df4
@mavam
Fix typo in changelog link
439ec18
@mavam
Copy link
Member Author

mavam commented Feb 17, 2021

I used git grep '2>&1' to see if we have any scripts that make use of the output. I only found one occurrence in the bash completions.

@mavam mavam enabled auto-merge February 17, 2021 14:04
@mavam mavam merged commit dedc44e into master Feb 17, 2021
@mavam mavam deleted the story/ch20238 branch February 17, 2021 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dominiklohmann dominiklohmann dominiklohmann approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@mavam @dominiklohmann