4 ms·
What about "programmatic access to docs"? HTML pages aren't pipeable.
by edflsafoiewq 5y ago
What about "programmatic access to docs"? HTML pages aren't pipeable.
- staticassertion 5y agoHonestly, I hadn't considered that (and I've upvoted) because I just use "search" in the rust docs. But I can see some value in grep'ability of docs, even if for me it has never really come up. I suppose it would be nice if rust's docs supported a full text search.
- spoiler 5y agoWhat use case is that? FWIW, the docs are already generated programmatically in the first place, so you could access them with a similar approach (not sure how difficult that is, so maybe it's unrealistic advice). Also there's a tool (forgot the name now) that can render them in the terminal similar to manpages.
- arghwhat 5y agoIf there is a terminal rendition tool, please share. Last I checked all efforts where abandoned, either due to too tight integration to rustdoc or due to bike shedding… Note that there is no problem with the web version being available, it’s useful at times.
- bogeholm 5y agoSure they are, `cat x.html | rg -A 5 -B 5 ‘some string’`