m: rename dimitri to dimitrios

This commit is contained in:
Jörg Thalheim 2020-01-22 11:22:00 +00:00 committed by lassulus
parent c993668341
commit b9d976ebae
1 changed files with 2 additions and 2 deletions

View File

@ -66,13 +66,13 @@ in {
}; };
}; };
}; };
dimitri = { dimitrios = {
owner = config.krebs.user.Mic92; owner = config.krebs.user.Mic92;
nets = { nets = {
retiolum = { retiolum = {
ip4.addr = "10.243.29.183"; ip4.addr = "10.243.29.183";
aliases = [ aliases = [
"dimitri.r" "dimitrios.r"
]; ];
tinc.pubkey = '' tinc.pubkey = ''
-----BEGIN RSA PUBLIC KEY----- -----BEGIN RSA PUBLIC KEY-----