GNU bug report logs - #71673
[PATCH] services: nginx: Print extra-content before the server-blocks.

Previous Next

Full log

Message #13 received at 71673-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Tomas Volf <~@wolfsden.cz>
Cc: 71673-done <at> debbugs.gnu.org
Subject: Re: [bug#71673] [PATCH v2] services: nginx: Print extra-content
 before the server-blocks.
Date: Wed, 20 Nov 2024 23:39:24 +0100

Tomas Volf <~@wolfsden.cz> skribis:

> The configuration file is processed sequentially, which meant that there was
> no way to set for example log format shared between the server-blocks, because
> the final configuration file would have this order:
>
>   ...
>   http {
>     ...
>     server {
>     }
>     ...
>     $extra-content
>   }
>
> Moving the extra-content before the serialization of server-blocks resolves
> this.
>
> * gnu/services/web.scm (default-nginx-config): Move extra-content before
> server-blocks.
>
> Change-Id: Ie8286a533dfed575abc58a0f4800706b3ad6adc2

Applied, thanks!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.