lukegb/depot
1
0
Fork 0
Code Issues 1 Pull requests Projects Packages Activity Actions

swann: switch to erbium (this is broken)

Browse source
This commit is contained in:
Luke Granger-Brown 2023-08-08 23:29:58 +01:00
parent e97a7d69f0
commit 7a8614d2f7
1 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
ops/nixos/swann/default.nix
View file

@ -15,6 +15,10 @@ in {
]; ];
config = mkMerge [ { config = mkMerge [ {
# TODO: erbium is broken; don't deploy!!!
my.deploy.enable = false;
boot.initrd.availableKernelModules = [ boot.initrd.availableKernelModules = [
"sd_mod" "sd_mod"
"ahci" "ahci"
@ -472,9 +476,9 @@ in {
{ {
apply-subnet = "92.118.30.16/28"; apply-subnet = "92.118.30.16/28";
apply-domain-name = "house-ext.as205479.net"; apply-domain-name = "house-ext.as205479.net";
apply-domain-name-servers = [ "92.118.30.17" ]; apply-dns-servers = [ "92.118.30.17" ];
apply-routers = [ "92.118.30.17" ]; apply-routers = [ "92.118.30.17" ];
apply-interface-mtu = 1420; apply-mtu = 1420;
policies = [{ policies = [{
match-hardware-address = "bc:33:29:26:01:5c"; match-hardware-address = "bc:33:29:26:01:5c";
apply-host-name = "ps5"; apply-host-name = "ps5";
@ -488,9 +492,9 @@ in {
apply-range.start = "192.168.1.100"; apply-range.start = "192.168.1.100";
apply-range.end = "192.168.1.200"; apply-range.end = "192.168.1.200";
apply-domain-name = "house.as205479.net"; apply-domain-name = "house.as205479.net";
apply-domain-name-servers = [ "192.168.1.1" ]; apply-dns-servers = [ "192.168.1.1" ];
apply-routers = [ "192.168.1.1" ]; apply-routers = [ "192.168.1.1" ];
apply-interface-mtu = 1420; apply-mtu = 1420;
policies = [{ policies = [{
match-hardware-address = "40:8d:5c:1f:e8:68"; match-hardware-address = "40:8d:5c:1f:e8:68";
apply-host-name = "totoro"; apply-host-name = "totoro";
@ -521,9 +525,9 @@ in {
apply-range.start = "192.168.10.10"; apply-range.start = "192.168.10.10";
apply-range.end = "192.168.10.200"; apply-range.end = "192.168.10.200";
apply-domain-name = "eduroam.as205479.net"; apply-domain-name = "eduroam.as205479.net";
apply-domain-name-servers = [ "192.168.10.1" ]; apply-dns-servers = [ "192.168.10.1" ];
apply-routers = [ "192.168.10.1" ]; apply-routers = [ "192.168.10.1" ];
apply-interface-mtu = 1420; apply-mtu = 1420;
} }
]; ];
}; };