From 892d10f02b411d0261bc917a83ece138d6dceb77 Mon Sep 17 00:00:00 2001
From: hodasemi <michaelh.95@t-online.de>
Date: Thu, 19 Jun 2025 08:23:07 +0200
Subject: [PATCH] Change mariadb port definition

---
 dev_system.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/dev_system.nix b/dev_system.nix
index 2d60396..26f8eec 100644
--- a/dev_system.nix
+++ b/dev_system.nix
@@ -49,9 +49,7 @@ in
     mysql = {
       enable = true;
       package = pkgs.mariadb;
-      settings = {
-        port = 8000;
-      };
+      port = 8000;
     };
   };
 }