From b1b21e9c25dc7fe08f5b2faed0c412bb7c3dae2b Mon Sep 17 00:00:00 2001
From: Stephan Maka <stephan@spaceboyz.net>
Date: Mon, 13 May 2019 18:17:27 +0200
Subject: [PATCH] nixbld: add /gateware.html redirect to nginx

gitea issue #11
---
 nixbld-etc-nixos/configuration.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/nixbld-etc-nixos/configuration.nix b/nixbld-etc-nixos/configuration.nix
index 9ec86c8..9a5f8f1 100644
--- a/nixbld-etc-nixos/configuration.nix
+++ b/nixbld-etc-nixos/configuration.nix
@@ -192,11 +192,17 @@ ACTION=="add", SUBSYSTEM=="tty", \
         addSSL = true;
         useACMEHost = "nixbld.m-labs.hk";
         root = "/var/www/m-labs.hk";
+        locations."/gateware.html".extraConfig = ''
+          return 301 /migen/;
+        '';
       };
       "www.m-labs.hk" = {
         addSSL = true;
         useACMEHost = "nixbld.m-labs.hk";
         root = "/var/www/m-labs.hk";
+        locations."/gateware.html".extraConfig = ''
+          return 301 /migen/;
+        '';
       };
       "lab.m-labs.hk" = {
         addSSL = true;