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

app-shells/bash: rename builtins.1 to bash_builtins.1 #26673

Closed
wants to merge 1 commit into from
Closed

app-shells/bash: rename builtins.1 to bash_builtins.1 #26673

wants to merge 1 commit into from

Conversation

floppym
Copy link
Contributor

@floppym floppym commented Jul 30, 2022 •
edited

This seems to be the intended name based on doc/Makefile.in.

This also fixes a rendering issue when the man pages are viewed with
mandoc.

Closes: #26669

@floppym
app-shells/bash: rename builtins.1 to bash_builtins.1
77f98e0 
This seems to be the intended name based on doc/Makefile.in.

This also fixes a rendering issue when the man pages are viewed with
mandoc.

Closes: gentoo#26669
Closes: gentoo#26673
Signed-off-by: Mike Gilbert <floppym@gentoo.org>
@floppym floppym requested a review from thesamesam July 30, 2022 22:43
@gentoo-bot
Copy link

Pull Request assignment

Submitter: @floppym
Areas affected: ebuilds
Packages affected: app-shells/bash

app-shells/bash: @gentoo/base-system

Linked bugs

No bugs to link found. If your pull request references any of the Gentoo bug reports, please add appropriate GLEP 66 tags to the commit message and request reassignment.

If you do not receive any reply to this pull request, please open or link a bug to attract the attention of maintainers.

In order to force reassignment and/or bug reference scan, please append [please reassign] to the pull request title.

Docs: Code of Conduct ● Copyright policy (expl.) ● Devmanual ● GitHub PRs ● Proxy-maint guide

@gentoo-bot gentoo-bot added assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits. labels Jul 30, 2022
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2022-07-30 22:51 UTC
Newest commit scanned: 77f98e0
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/1da2d839c3/output.html

@floppym floppym deleted the bash-builtins branch July 31, 2022 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thesamesam thesamesam thesamesam approved these changes

Assignees
No one assigned
Labels
assigned PR successfully assigned to the package maintainer(s). no bug found No Bug/Closes found in the commits.
Projects
None yet
Milestone
No milestone
4 participants
@floppym @gentoo-bot @gentoo-repo-qa-bot @thesamesam