2022-12-04 13:45:43 +00:00
|
|
|
{tree, ...}: {
|
2022-11-10 14:57:07 +00:00
|
|
|
imports = with tree; [
|
|
|
|
|
profiles.laptop
|
|
|
|
|
|
2023-09-18 03:56:58 +01:00
|
|
|
profiles.connectivity.networkManager
|
|
|
|
|
profiles.connectivity.iOS
|
2022-11-10 14:57:07 +00:00
|
|
|
|
|
|
|
|
profiles.tor
|
|
|
|
|
];
|
2023-09-18 03:56:58 +01:00
|
|
|
|
2023-09-28 19:47:00 +01:00
|
|
|
services.fwupd.enable = true;
|
|
|
|
|
|
2023-09-18 03:56:58 +01:00
|
|
|
# TODO: Better DNS setup
|
|
|
|
|
services.resolved.enable = false;
|
|
|
|
|
environment.etc."resolv.conf".text = ''
|
|
|
|
|
nameserver 8.8.8.8
|
|
|
|
|
nameserver 8.8.4.4
|
|
|
|
|
'';
|
|
|
|
|
|
2022-11-10 14:57:07 +00:00
|
|
|
services.fstrim.enable = true;
|
|
|
|
|
systemd.services.NetworkManager-wait-online.enable = false;
|
|
|
|
|
}
|
