-
Notifications
You must be signed in to change notification settings - Fork 893
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
add lint names to rustup doc
topic list
#4069
Comments
@lolbinarycat Thanks for filing this issue! Indeed, Your proposal is perfectly valid, it's just that I might not implement it as described above now that we have The relevant snippet is here: Lines 1499 to 1505 in 708ffd6
... which is not idiomatic, of course, since whenever So I think we should consider these two altogether, for instance allowing However, there is already enough magic in the current implementation in the way it searches for stdlib items, so we should never explicitly point to lints just like we did with stdlib... I wonder how this will eventually end up like. I mean, we can try with the following semantics with
PS: I have manually verified that this algorithm, if implemented correctly, will work with |
Aren't search engines generally supposed to be "magic"? Although, ideally, it would be possible to unify this logic with something that does the same for documentation generated by |
@lolbinarycat I have to admit that I don't use offline docs that often, so I might not be the best person to answer your questions, but I personally haven't expected this to work like a search engine... I might say it should work pretty much like "I'm Feeling Lucky" though. BTW, by "search engine", are you referring to something along the lines of https://zealdocs.org?
I have reservations about this. It seems to me that, although I'd pretty much like to have something like that during my flights, |
Well, yeah, the idea would be to factor out the core logic behind |
@lolbinarycat I see what you mean. In the short term I still see #4070 as a valid first move forward since it's an unnecessary restriction to the current feature set... |
Problem you are trying to solve
it is inconvenient to try to navigate to the page for a specific lint in the local documentation.
Solution you'd like
typing
rustup doc lintname
takes you to the page for that lint. this would work for rustc lints, rustdoc lints, clippy lints, and potentially other tool lints.for example,
rustup doc rustdoc::broken_intra_doc_links
would take you tofile:$TOOLCHAIN/share/doc/rust/html/rustdoc/lints.html#broken_intra_doc_links
.Notes
No response
The text was updated successfully, but these errors were encountered: