[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#49431] [PATCH maintenance.git] nginx: berlin: Redirect old video UR
pelzflorian (Florian Pelz)
[bug#49431] [PATCH maintenance.git] nginx: berlin: Redirect old video URLs for each language.
Fri, 9 Jul 2021 09:15:04 +0200
Thank you two for your opinion, Luis and Ludo.
On Thu, Jul 08, 2021 at 03:53:16PM +0200, Ludovic Courtès wrote:
> Shouldn’t we also redirect
> /$lang/videos/everyday-use-of-gnu-guix,-part-one/ ->
> since the left-hand side here was the right-hand side of the previous
Each valid $lang was handled further down, but my patch was confusing,
especially when somebody wants to add more redirections. Find
attached a revised patch with per-language redirection in only one
place, namely new procedure
Do I need to add a copyright header? I hereby license/declare my
patch CC0 <https://creativecommons.org/publicdomain/zero/1.0/>.
In the previous patch I had missed some cases without /LANG like
Redirecting was unnecessary for
which already gets taken care of by
thanks to nginx location normalization.
Shall I push and then wait until someone guix system reconfigures
Description: Text document