host sid is now nameserver #28

Merged
sid merged 2 commits from develop into master 2026-04-19 00:59:09 +02:00
Showing only changes of commit bca37c6ed7 - Show all commits

View file

@ -1,28 +1,30 @@
{ constants, ... }: { constants, ... }:
{ {
networking.networkmanager.ensureProfiles.profiles = { networking = {
nameservers = [ constants.hosts.sid.ip ]; nameservers = [ constants.hosts.sid.ip ];
enp34s0-profile = { networkmanager.ensureProfiles.profiles = {
connection = { enp34s0-profile = {
id = "enp34s0"; connection = {
type = "ethernet"; id = "enp34s0";
interface-name = "enp34s0"; type = "ethernet";
interface-name = "enp34s0";
};
ipv4 = {
method = "auto";
route-metric = 50;
};
}; };
ipv4 = { enp36s0-profile = {
method = "auto"; connection = {
route-metric = 50; id = "enp36s0";
}; type = "ethernet";
}; interface-name = "enp36s0";
enp36s0-profile = { };
connection = { ipv4 = {
id = "enp36s0"; method = "auto";
type = "ethernet"; route-metric = 200;
interface-name = "enp36s0"; };
};
ipv4 = {
method = "auto";
route-metric = 200;
}; };
}; };
}; };