From b9d976ebaec0d86ebcd7cbbe184c2d3ed41e2c50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Wed, 22 Jan 2020 11:22:00 +0000
Subject: m: rename dimitri to dimitrios

---
 krebs/3modules/external/mic92.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/krebs/3modules/external/mic92.nix b/krebs/3modules/external/mic92.nix
index f3dec9e28..9fc9bd6bc 100644
--- a/krebs/3modules/external/mic92.nix
+++ b/krebs/3modules/external/mic92.nix
@@ -66,13 +66,13 @@ in {
         };
       };
     };
-    dimitri = {
+    dimitrios = {
       owner = config.krebs.user.Mic92;
       nets = {
         retiolum = {
           ip4.addr = "10.243.29.183";
           aliases = [
-            "dimitri.r"
+            "dimitrios.r"
           ];
           tinc.pubkey = ''
             -----BEGIN RSA PUBLIC KEY-----
-- 
cgit v1.2.3