From 1f8c711b25397e359b914719fb22af44e123b5c8 Mon Sep 17 00:00:00 2001
From: Jack Rosenberg <github@jackr.eu>
Date: Tue, 16 Dec 2025 12:08:53 +0100
Subject: [PATCH] nixos/pangolin: use new gerbil port

---
 nixos/modules/services/networking/pangolin.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nixos/modules/services/networking/pangolin.nix b/nixos/modules/services/networking/pangolin.nix
index 9b5bdb9d3690..fa2ca634138b 100644
--- a/nixos/modules/services/networking/pangolin.nix
+++ b/nixos/modules/services/networking/pangolin.nix
@@ -44,7 +44,7 @@ let
       external_port = 3000;
       internal_port = 3001;
       next_port = 3002;
-      integration_port = 3004;
+      integration_port = 3003;
       # needs to be set, otherwise this fails silently
       # see https://github.com/fosrl/newt/issues/37
       internal_hostname = "localhost";
@@ -143,7 +143,7 @@ in
     gerbil = {
       port = lib.mkOption {
         type = lib.types.port;
-        default = 3003;
+        default = 3004;
         description = ''
           Specifies the port to listen on for Gerbil.
         '';