diff options
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/mic92/default.nix | 7 | ||||
| -rw-r--r-- | kartei/tv/hosts/pi.nix | 4 | ||||
| -rw-r--r-- | kartei/tv/wiregrill/pi.pub | 1 |
3 files changed, 12 insertions, 0 deletions
diff --git a/kartei/mic92/default.nix b/kartei/mic92/default.nix index 952b5fd40..003c66c66 100644 --- a/kartei/mic92/default.nix +++ b/kartei/mic92/default.nix @@ -809,7 +809,14 @@ in { blob64 = { owner = config.krebs.users.mic92; nets = rec { + internet = { + # of2.dse.cit.tum.de. + ip4.addr = "131.159.38.25"; + ip6.addr = "2a09:80c0:38::25"; + aliases = [ "blob64.i" ]; + }; retiolum = { + via = internet; aliases = [ "blob64.r" ]; tinc.pubkey = '' -----BEGIN RSA PUBLIC KEY----- diff --git a/kartei/tv/hosts/pi.nix b/kartei/tv/hosts/pi.nix new file mode 100644 index 000000000..991bc0086 --- /dev/null +++ b/kartei/tv/hosts/pi.nix @@ -0,0 +1,4 @@ +{ + nets.wiregrill.ip4.addr = "10.244.3.102"; + syncthing.id = "NLR6FLV-2MJQSZ6-4M5QBBB-X2UM225-YGB6IYW-F2EGFV6-D7ZDCWY-27EQAAM"; +} diff --git a/kartei/tv/wiregrill/pi.pub b/kartei/tv/wiregrill/pi.pub new file mode 100644 index 000000000..8d5b3f103 --- /dev/null +++ b/kartei/tv/wiregrill/pi.pub @@ -0,0 +1 @@ +HlKTr86mTywYtRIQNhxs8jeSw5hwVTeKFiSUYglc4T8= |