From 0b34482b6da9ef0d2178d5dba5a99485d62281d8 Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Thu, 13 Aug 2020 22:23:14 +0100
Subject: [PATCH] Forward zoo.wpcarro.dev connections to :8000

Right now the 8000 port is hard-coded into the zoo server, which isn't ideal,
but "it works" (TM).
---
 default.nix                      | 1 +
 nixos/socrates/configuration.nix | 7 +++++++
 2 files changed, 8 insertions(+)

diff --git a/default.nix b/default.nix
index d6d32c451..25a54f3ca 100644
--- a/default.nix
+++ b/default.nix
@@ -33,4 +33,5 @@ in {
   third_party  = readTree ./third_party;
   tools        = readTree ./tools;
   buildHaskell = readTree ./buildHaskell;
+  zoo          = readTree ./zoo;
 }
diff --git a/nixos/socrates/configuration.nix b/nixos/socrates/configuration.nix
index 0af4a3141..c04281e4a 100644
--- a/nixos/socrates/configuration.nix
+++ b/nixos/socrates/configuration.nix
@@ -209,6 +209,13 @@ in {
         enableACME = true;
         root = briefcase.website.sandbox.learnpianochords;
       };
+      "zoo.wpcarro.dev" = {
+        addSSL = true;
+        enableACME = true;
+        locations."/" = {
+          proxyPass = "http://localhost:8000";
+        };
+      };
     };
   };