Closed ietf-svn-bot closed 3 years ago
@rjsparks@nostrum.com commented
I see two issues with this suggestion:
We've tried having "skip the click and go to the thing when a find-the-things page returns only one thing" logic on other pages and have had to back the idea out because of complaints. (We've done this with sessions before, for instance).
The particular suggestion would keep someone from finding documents with NNNN in their name (such as draft-ietf-stir-rfc4474bis).
Perhaps what you really want is a separate widget to say "give me this RFC"?
@mt@lowentropy.net commented
I see your point. I would be even happier with a "I'm feeling lucky" option.
I use the 404 handler on tools.i.o pretty much all the time. An equivalent function for datatracker would fix one of the two things I stay on tools for (the other being hyperlinking, and I know that's coming).
@rjsparks@nostrum.com changed priority from n/a
to minor
@rjsparks@nostrum.com changed status from new
to accepted
@mt@lowentropy.net commented
In discussions about changes to /doc/html/, Robert observed that scoping this to that URL prefix might be the best way to avoid problems with searching for bis documents and the like. That seems entirely reasonable.
@rjsparks@nostrum.com changed status from accepted
to closed
@rjsparks@nostrum.com set resolution to fixed
@rjsparks@nostrum.com commented
Fixed in 5f6816d74235d2a6d3aa40833a2acedcec03fdbf:
Handle bare numbers and rfc names with a space for the /doc/html view. Fixes #1999. Commit ready for merge.
@rjsparks@nostrum.com commented
Fixed in 3bbd3ed2f64a97a3023928e4fdec18eeb68a342a:
Merged in 5f6816d74235d2a6d3aa40833a2acedcec03fdbf from rjsparks@nostrum.com: Handle bare numbers and rfc names with a space for the /doc/html view. Fixes #1999.
resolution_fixed
type_defect
| by mt@lowentropy.netThis is pretty elementary stuff.
A search for "RFCNNNN", "NNNN" or "RFC NNNN" should go directly to the document. Having it skip the search results page would be ideal.
Issue migrated from trac:1999 at 2022-03-04 05:01:17 +0000