diff options
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/tv/hosts/pa.nix | 3 | ||||
| -rw-r--r-- | kartei/tv/wiregrill/pa.pub | 1 |
2 files changed, 4 insertions, 0 deletions
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"; +} diff --git a/kartei/tv/wiregrill/pa.pub b/kartei/tv/wiregrill/pa.pub new file mode 100644 index 000000000..3af7a8e7e --- /dev/null +++ b/kartei/tv/wiregrill/pa.pub @@ -0,0 +1 @@ +X+Sm5uyeI1B6cVeyxPz0YXy6L5jrs2GKwfjfPuF67GA= |