[PATCH 1 of 2] Enhanced website navigation with 2-level menu and directive search

[Maxim Dounin]

Hello!

On Tue, Aug 30, 2022 at 12:52:33PM +0000, Liam Crilly via nginx-devel wrote:

> # HG changeset patch
> # User Liam Crilly <liam.crilly at 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/