From 93cc3cca4b7917cde0a891ddb712a21a0d2bcb94 Mon Sep 17 00:00:00 2001
From: niten <niten@fudo.org>
Date: Tue, 1 Mar 2022 08:55:50 -0800
Subject: [PATCH] Remove plato. But keep it around for legacy.

---
 hosts/plato.nix        | 5 +++--
 sites/worldstream.nix  | 2 +-
 zones/sea.fudo.org.nix | 1 -
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/hosts/plato.nix b/hosts/plato.nix
index aee09d1..258de6c 100644
--- a/hosts/plato.nix
+++ b/hosts/plato.nix
@@ -7,10 +7,11 @@
   profile = "server";
   tmp-on-tmpfs = false;
   arch = "x86_64-linux";
-  nixos-system = true;
+  nixos-system = false;
   machine-id = "988f39a3b6ab454e9d7dad65bfe36bbe";
   master-key = {
-    public-key = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICgAzn6gyG1ze7L1WLU84poPGcoUntqfvgn+/s3bxhR2";
+    public-key =
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICgAzn6gyG1ze7L1WLU84poPGcoUntqfvgn+/s3bxhR2";
     key-path = "/state/master-key/key";
   };
   hardened = true;
diff --git a/sites/worldstream.nix b/sites/worldstream.nix
index 4435e9d..fcc4688 100644
--- a/sites/worldstream.nix
+++ b/sites/worldstream.nix
@@ -1,7 +1,7 @@
 {
   gateway-v4 = "91.229.23.1";
   network = "91.229.23.0/24";
-  private-network = "10.3.0.0/16";
+  private-network = "10.4.0.0/16";
   nameservers = [ "1.1.1.1" "2606:4700:4700::1111" ];
   timezone = "Europe/Amsterdam";
   deploy-pubkeys = [
diff --git a/zones/sea.fudo.org.nix b/zones/sea.fudo.org.nix
index a3b285f..b2bfa2e 100644
--- a/zones/sea.fudo.org.nix
+++ b/zones/sea.fudo.org.nix
@@ -89,7 +89,6 @@ in {
     plato.ipv4-address = "10.0.0.21";
     wormhole0.ipv4-address = "10.0.0.3";
 
-
     cam-entrance = {
       ipv4-address = "10.0.0.31";
       mac-address = "9c:8e:cd:0e:99:7b";