From bc2dc482c8519f27f0db61a4a898650837ec04e0 Mon Sep 17 00:00:00 2001
From: Trevor Vallender <trevor@tsvallender.co.uk>
Date: Tue, 25 Jul 2023 08:48:17 +0100
Subject: [PATCH] Correct SSH port on Kernighan

---
 system/kernighan/kernighan.nix | 2 +-
 users/tsv/ssh/config           | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/system/kernighan/kernighan.nix b/system/kernighan/kernighan.nix
index 1f1a37f..5e51f1c 100644
--- a/system/kernighan/kernighan.nix
+++ b/system/kernighan/kernighan.nix
@@ -13,7 +13,7 @@
     hostName = "kernighan";
     firewall = {
       enable = true;
-      allowedTCPPorts = [ 22 80 443 ];
+      allowedTCPPorts = [ 2222 80 443 ];
     };
     interfaces = {
        end0.ipv4.addresses = [{
diff --git a/users/tsv/ssh/config b/users/tsv/ssh/config
index 37c5bce..1db81f3 100644
--- a/users/tsv/ssh/config
+++ b/users/tsv/ssh/config
@@ -9,6 +9,7 @@ Host kernighan
   IdentityFile /home/tsv/.ssh/personal
   User tsv
   IdentitiesOnly yes
+  Port 2222
 
 Host git.tsvallender.co.uk
   HostName git.tsvallender.co.uk