2016-10-20 18:54:38 +00:00
|
|
|
with import <stockholm/lib>;
|
2017-08-01 20:37:41 +00:00
|
|
|
{ config, pkgs, ... }: {
|
2016-07-17 17:55:38 +00:00
|
|
|
|
|
|
|
imports = [
|
2017-07-06 19:47:47 +00:00
|
|
|
<stockholm/tv>
|
|
|
|
<stockholm/tv/2configs/hw/x220.nix>
|
|
|
|
<stockholm/tv/2configs/exim-retiolum.nix>
|
|
|
|
<stockholm/tv/2configs/retiolum.nix>
|
2016-07-17 17:55:38 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
# TODO remove non-hardware stuff from ../2configs/hw/x220.nix
|
|
|
|
# networking.wireless.enable collides with networkmanager
|
|
|
|
networking.wireless.enable = mkForce false;
|
|
|
|
|
|
|
|
boot = {
|
|
|
|
initrd = {
|
|
|
|
availableKernelModules = [ "ahci" ];
|
|
|
|
luks = {
|
|
|
|
cryptoModules = [ "aes" "sha512" "xts" ];
|
|
|
|
devices = [ { name = "luksroot"; device = "/dev/sda2"; } ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
chromium
|
|
|
|
firefoxWrapper
|
|
|
|
networkmanagerapplet
|
|
|
|
pidginotr
|
|
|
|
pidgin-with-plugins
|
|
|
|
];
|
|
|
|
|
|
|
|
fileSystems = {
|
|
|
|
"/boot" = {
|
|
|
|
device = "/dev/sda1";
|
|
|
|
};
|
|
|
|
"/" = {
|
|
|
|
device = "/dev/mapper/main-root";
|
|
|
|
fsType = "btrfs";
|
|
|
|
options = [ "defaults" "noatime" ];
|
|
|
|
};
|
|
|
|
"/home" = {
|
|
|
|
device = "/dev/mapper/main-home";
|
|
|
|
fsType = "btrfs";
|
|
|
|
options = [ "defaults" "noatime" ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
hardware = {
|
|
|
|
opengl.driSupport32Bit = true;
|
|
|
|
pulseaudio.enable = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
i18n.defaultLocale = "de_DE.UTF-8";
|
|
|
|
|
|
|
|
krebs.build = {
|
|
|
|
host = config.krebs.hosts.alnus;
|
|
|
|
user = mkForce config.krebs.users.dv;
|
|
|
|
};
|
|
|
|
|
|
|
|
networking.networkmanager.enable = true;
|
|
|
|
|
|
|
|
nixpkgs.config = {
|
|
|
|
allowUnfree = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
services.xserver = {
|
|
|
|
enable = true;
|
|
|
|
layout = "de";
|
|
|
|
xkbOptions = "eurosign:e";
|
|
|
|
synaptics = {
|
|
|
|
enable = true;
|
|
|
|
twoFingerScroll = true;
|
|
|
|
};
|
|
|
|
desktopManager.xfce.enable = true;
|
|
|
|
displayManager.auto = {
|
|
|
|
enable = true;
|
|
|
|
user = "dv";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
swapDevices =[ ];
|
|
|
|
|
|
|
|
users.users.dv = {
|
|
|
|
inherit (config.krebs.users.dv) home uid;
|
|
|
|
isNormalUser = true;
|
|
|
|
extraGroups = [
|
|
|
|
"audio"
|
|
|
|
"video"
|
|
|
|
"networkmanager"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|