2020-11-21 15:51:37 +00:00
|
|
|
{ config, pkgs, lib, ... }:
|
2020-10-30 18:40:08 +00:00
|
|
|
|
|
|
|
|
{
|
2021-05-24 08:33:02 +00:00
|
|
|
imports = [ ../../bits/home-common.nix ../../bits/zfs.nix ];
|
|
|
|
|
|
|
|
|
|
networking.hostName = "arianrhod";
|
2020-11-06 16:26:20 +00:00
|
|
|
|
2020-10-30 18:40:08 +00:00
|
|
|
networking.interfaces.enp0s25.useDHCP = true;
|
|
|
|
|
networking.interfaces.wlp2s0.useDHCP = true;
|
2020-10-30 18:49:51 +00:00
|
|
|
|
|
|
|
|
# Use the systemd-boot EFI boot loader.
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
2020-11-21 13:04:48 +00:00
|
|
|
|
|
|
|
|
services.xserver.videoDrivers = [ "intel" "fbdev" ];
|
2020-10-30 18:40:08 +00:00
|
|
|
}
|
