Just a small formatting change

This commit is contained in:
Julien Malka 2022-01-11 10:05:05 +01:00
parent ccc600a6e6
commit 573ecc80d2
No known key found for this signature in database
GPG key ID: 3C68E13964FEA07F

View file

@ -25,7 +25,7 @@
enable = true; enable = true;
subdomain = "ci"; subdomain = "ci";
}; };
}; };
nix.maxJobs = lib.mkDefault 4; nix.maxJobs = lib.mkDefault 4;
@ -35,11 +35,11 @@
networking.hostName = "lisa"; networking.hostName = "lisa";
networking.interfaces.ens20.useDHCP = false; networking.interfaces.ens20.useDHCP = false;
networking.interfaces.ens20.ipv4.addresses = [ {address = "212.129.40.11"; prefixLength = 32;} ]; networking.interfaces.ens20.ipv4.addresses = [{ address = "212.129.40.11"; prefixLength = 32; }];
#networking.defaultGateway = { interface = "ens20"; }; #networking.defaultGateway = { interface = "ens20"; };
networking.localCommands = '' networking.localCommands = ''
ip r del default || ip r add default dev ens20 ip r del default || ip r add default dev ens20
''; '';
networking.interfaces.ens18.useDHCP = true; networking.interfaces.ens18.useDHCP = true;
networking.interfaces.ens19.useDHCP = false; networking.interfaces.ens19.useDHCP = false;
networking.interfaces.ens19.ipv6.addresses = [{ networking.interfaces.ens19.ipv6.addresses = [{