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

Group definition of os.remove() & os.unlink() #118954

Closed
nineteendo opened this issue May 11, 2024 · 1 comment
Closed

Group definition of os.remove() & os.unlink() #118954

nineteendo opened this issue May 11, 2024 · 1 comment
Labels
docs Documentation in the Doc dir

Comments

@nineteendo
Copy link
Contributor

nineteendo commented May 11, 2024

Documentation

os.remove() & os.unlink() are semantically equivalent. Could we group their documentation?

Linked PRs

@nineteendo nineteendo added the docs Documentation in the Doc dir label May 11, 2024
@rhettinger
Copy link
Contributor

Sorry, this does not make any sense. That two entries already cross-reference each other. It is best to keep the alphabetical order so that people who do not already know that they are aliases can find them. This is similar to how there are different man pages for unlink and remove.

Thanks for the suggestion, but we will decline.

@rhettinger rhettinger closed this as not planned Won't fix, can't repro, duplicate, stale May 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir
Projects
None yet
Development

No branches or pull requests

2 participants