Hello!
On Tue, Aug 30, 2022 at 12:52:33PM +0000, Liam Crilly via nginx-devel wrote:
> # HG changeset patch
> # User Liam Crilly <liam.cri...@nginx.com>
> # Date 1659696328 -3600
> # Fri Aug 05 11:45:28 2022 +0100
> # Node ID 1087570ec093271d10de8e901122c99003a79b6d
> # Parent 60851da88db689f3bfaa54453977ec9803b00509
> Added search box to navigate directly to directive or variable docs.
>
> This patch adds a search box below the logo as a shortcut to constructing a
> nginx.org/r/... URI. Directive names and variables can be entered here.
> A corresponding location block is required in nginx.conf:
> location = /s {
> rewrite ^ /r/$arg_q;
> }
I don't think this is a good idea. The /r/ redirector is a
service to provide short links, and not a search service. User
expectations for search are quite different.
--
Maxim Dounin
http://mdounin.ru/
_______________________________________________
nginx-devel mailing list -- nginx-devel@nginx.org
To unsubscribe send an email to nginx-devel-le...@nginx.org
