2019-01-30 17:08:07 +01:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
{
|
2019-04-19 03:11:51 +02:00
|
|
|
imports = [
|
2019-04-21 15:22:40 +02:00
|
|
|
<configs/default.nix>
|
2019-04-19 03:11:51 +02:00
|
|
|
./hardware-configuration.nix
|
|
|
|
|
];
|
2019-01-30 17:08:07 +01:00
|
|
|
|
2019-06-19 07:35:08 +02:00
|
|
|
services.xserver.xrandrHeads = [ "eDP1" ];
|
|
|
|
|
|
2019-06-17 19:11:31 +02:00
|
|
|
niveum = {
|
|
|
|
|
networkInterfaces.wireless = "wlp2s0";
|
|
|
|
|
promptColours.success = "yellow";
|
|
|
|
|
};
|
|
|
|
|
|
2019-01-30 17:08:07 +01:00
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
|
|
|
|
networking.hostName = "scardanelli";
|
|
|
|
|
|
2019-05-15 18:21:58 +02:00
|
|
|
system.stateVersion = "19.03";
|
2019-01-30 17:08:07 +01:00
|
|
|
}
|
