🔧 aristotle: move to raspberry-pi-nix

also re-deployed form, matter and purpose
This commit is contained in:
2024-09-15 20:35:46 -04:00
parent 8b57a7580a
commit 6d38e964e3
11 changed files with 290 additions and 95 deletions

View File

@ -13,12 +13,12 @@ _:
settings = {
substituters = [
"https://walkah.cachix.org"
"https://cache.garnix.io"
"https://nix-community.cachix.org"
];
trusted-public-keys = [
"walkah.cachix.org-1:D8cO78JoJC6UPV1ZMgd1V5znpk3jNUERGIeAKN15hxo="
"cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g="
"nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs="
];
};
};

View File

@ -1,7 +1,11 @@
{ config, pkgs, ... }: {
{ pkgs, ... }: {
imports = [ ./common.nix ../monitoring ../../users ];
documentation = {
enable = false;
};
environment.systemPackages = with pkgs; [
htop
inetutils
@ -32,12 +36,6 @@
};
system = {
autoUpgrade = {
enable = true;
flake = "github:walkah/athens#${config.networking.hostName}";
dates = "daily";
randomizedDelaySec = "5m";
};
stateVersion = "23.05";
};
}

View File

@ -11,9 +11,9 @@ socrates IN A 100.103.57.96
plato IN A 100.111.208.75
; aristotle
agent IN A 100.95.167.126
form IN A 100.87.220.71
matter IN A 100.126.255.109
purpose IN A 100.74.59.80
form IN A 100.104.247.27
matter IN A 100.95.77.67
purpose IN A 100.117.49.15
parthenon IN A 100.106.65.39
epicurus IN A 100.66.26.116

View File

@ -7,18 +7,18 @@ let
Addrs = [ "/ip4/100.95.167.126/tcp/4001" ];
}
{
ID = "12D3KooWMqSiDukubKNKrK7J4PaF3mfNnZFVAd3Lh7qj3Y3e5bcN";
Addrs = [ "/ip4/100.87.220.71/tcp/4001" ];
ID = "12D3KooWC5ncgKeJV2G6QBdGMkT2gLbeviaDxpYR7V6NVTsma3C5";
Addrs = [ "/ip4/100.104.247.27/tcp/4001" ];
}
{
ID = "12D3KooWGmNRyqP969QbyP8NLVRZNK2i6yCcP6N6N2r2DCG4H34v";
Addrs = [ "/ip4/100.126.255.109/tcp/4001" ];
ID = "12D3KooW9xeqfnnNWafiDkLXWjC5YdUnBrG5tJDd3tnm86kqVwhA";
Addrs = [ "/ip4/100.95.77.67/tcp/4001" ];
}
{
ID = "12D3KooWFkR8nsG5pzffoAfMzmwBcSakXxnogVa6inRxUbpfN5ua";
Addrs = [ "/ip4/100.74.59.80/tcp/4001" ];
ID = "12D3KooWLYPckqA4JACJ4vioWc4tYuPjmfLMbgviECnWqazjSgK9";
Addrs = [ "/ip4/100.117.49.15/tcp/4001" ];
}
];