2022-01-23 16:03:31 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
imports = [
|
|
|
|
./hardware-configuration.nix
|
|
|
|
../../modules
|
|
|
|
];
|
|
|
|
|
|
|
|
riley = {
|
|
|
|
gui = true;
|
2022-01-23 17:03:10 +01:00
|
|
|
kak.ide = true;
|
2022-01-23 16:03:31 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
networking = {
|
|
|
|
hostName = "loki";
|
|
|
|
interfaces.wlp6s0.useDHCP = true;
|
|
|
|
};
|
|
|
|
|
2022-05-23 20:58:06 +02:00
|
|
|
boot = {
|
|
|
|
loader.systemd-boot = {
|
|
|
|
enable = true;
|
|
|
|
editor = false;
|
|
|
|
configurationLimit = 10;
|
|
|
|
};
|
|
|
|
|
|
|
|
loader.efi = {
|
|
|
|
canTouchEfiVariables = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2022-01-23 16:03:31 +01:00
|
|
|
devices = {
|
|
|
|
audio = {
|
|
|
|
|
|
|
|
speakers = "";
|
|
|
|
external = "";
|
|
|
|
headset = "";
|
|
|
|
|
|
|
|
# Inputs
|
|
|
|
main-mic = "";
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
video.displays = {
|
|
|
|
|
|
|
|
# Internal display
|
|
|
|
"eDP-1" = {
|
|
|
|
primary = true;
|
|
|
|
position = [ 0 0 ];
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|