diff options
Diffstat (limited to 'kartei/tv/hosts')
| -rw-r--r-- | kartei/tv/hosts/leg.nix | 3 | ||||
| -rw-r--r-- | kartei/tv/hosts/pa.nix | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/kartei/tv/hosts/leg.nix b/kartei/tv/hosts/leg.nix index aa023b42d..c09749302 100644 --- a/kartei/tv/hosts/leg.nix +++ b/kartei/tv/hosts/leg.nix @@ -17,6 +17,9 @@ ''; tinc.pubkey_ed25519 = " qmxNtjkjzXP4QCIJwXLncYFrIfU7royMlQNSVvR3XKH"; }; + wiregrill = { + ip4.addr = "10.244.3.43"; + }; }; secure = true; ssh.pubkey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGiputkYYQbg8sUHu+dMVOEuqhPYwPhPdmkS6LopPx17 root@leg"; diff --git a/kartei/tv/hosts/pa.nix b/kartei/tv/hosts/pa.nix new file mode 100644 index 000000000..95026a24b --- /dev/null +++ b/kartei/tv/hosts/pa.nix @@ -0,0 +1,3 @@ +{ + nets.wiregrill.ip4.addr = "10.244.3.103"; +} |