Use DHCP for Ethernet in fox

Reviewed-by: Aleix Boné <abonerib@bsc.es>
This commit is contained in:
Rodrigo Arias 2025-06-06 15:11:12 +02:00
parent 83efd6c876
commit e40fd24f26

View File

@ -20,13 +20,9 @@
hardware.cpu.intel.updateMicrocode = lib.mkForce false; hardware.cpu.intel.updateMicrocode = lib.mkForce false;
networking = { networking = {
defaultGateway = "147.83.30.130";
nameservers = [ "8.8.8.8" ];
timeServers = [ "ntp1.upc.edu" "ntp2.upc.edu" ]; timeServers = [ "ntp1.upc.edu" "ntp2.upc.edu" ];
hostName = "fox"; hostName = "fox";
interfaces.enp1s0f0np0.ipv4.addresses = [ # UPC network (may change over time, use DHCP)
{
# UPC network
# Public IP configuration: # Public IP configuration:
# - Hostname: fox.ac.upc.edu # - Hostname: fox.ac.upc.edu
# - IP: 147.83.30.141 # - IP: 147.83.30.141
@ -37,14 +33,7 @@
# - IP: 147.83.35.27 # - IP: 147.83.35.27
# - Gateway: 147.83.35.2 # - Gateway: 147.83.35.2
# - NetMask: 255.255.255.0 # - NetMask: 255.255.255.0
address = "147.83.30.141"; interfaces.enp1s0f0np0.useDHCP = true;
prefixLength = 26; # 255.255.255.192
}
];
extraHosts = ''
147.83.30.141 fox.ac.upc.edu
147.83.35.27 fox-ipmi.ac.upc.edu
'';
}; };
# Configure Nvidia driver to use with CUDA # Configure Nvidia driver to use with CUDA