2016-10-20 18:54:38 +00:00
|
|
|
with import <stockholm/lib>;
|
2017-08-01 20:37:41 +00:00
|
|
|
{ config, pkgs, ... }: {
|
2016-03-31 01:48:43 +00:00
|
|
|
|
|
|
|
imports = [
|
2018-09-16 19:31:14 +00:00
|
|
|
<stockholm/tv>
|
2018-10-03 08:14:20 +00:00
|
|
|
<stockholm/tv/2configs/br.nix>
|
2017-07-06 19:47:47 +00:00
|
|
|
<stockholm/tv/2configs/exim-retiolum.nix>
|
2018-12-17 16:11:31 +00:00
|
|
|
<stockholm/tv/2configs/hw/x220.nix>
|
2017-07-06 19:47:47 +00:00
|
|
|
<stockholm/tv/2configs/retiolum.nix>
|
2016-03-31 01:48:43 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
krebs.build.host = config.krebs.hosts.mu;
|
|
|
|
krebs.build.user = mkForce config.krebs.users.vv;
|
|
|
|
|
2017-08-02 00:14:49 +00:00
|
|
|
tv.x0vncserver.enable = true;
|
|
|
|
|
2018-12-17 16:10:24 +00:00
|
|
|
boot.initrd.luks.devices.muca.device = "/dev/sda2";
|
2016-03-31 01:48:43 +00:00
|
|
|
boot.initrd.availableKernelModules = [ "ahci" ];
|
|
|
|
boot.kernelModules = [ "fbcon" "kvm-intel" ];
|
2021-01-14 15:41:47 +00:00
|
|
|
boot.kernelParams = [ "fsck.repair=yes" ];
|
2016-03-31 01:48:43 +00:00
|
|
|
boot.extraModulePackages = [ ];
|
|
|
|
|
|
|
|
fileSystems = {
|
|
|
|
"/" = {
|
2017-08-18 07:06:27 +00:00
|
|
|
device = "/dev/mapper/muvga-root";
|
2018-11-08 18:25:24 +00:00
|
|
|
fsType = "ext4";
|
|
|
|
options = [ "defaults" "discard" ];
|
2016-03-31 01:48:43 +00:00
|
|
|
};
|
|
|
|
"/home" = {
|
2017-08-18 07:06:27 +00:00
|
|
|
device = "/dev/mapper/muvga-home";
|
2018-11-08 18:25:24 +00:00
|
|
|
fsType = "ext4";
|
|
|
|
options = [ "defaults" "discard" ];
|
2016-03-31 01:48:43 +00:00
|
|
|
};
|
|
|
|
"/boot" = {
|
2018-12-17 16:10:24 +00:00
|
|
|
device = "/dev/sda1";
|
2018-11-08 18:25:24 +00:00
|
|
|
fsType = "vfat";
|
2016-03-31 01:48:43 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
nixpkgs.config.allowUnfree = true;
|
|
|
|
hardware.opengl.driSupport32Bit = true;
|
|
|
|
|
|
|
|
hardware.pulseaudio.enable = true;
|
|
|
|
|
2017-07-12 17:20:22 +00:00
|
|
|
hardware.enableRedistributableFirmware = true;
|
2016-03-31 01:48:43 +00:00
|
|
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
2017-08-02 00:14:23 +00:00
|
|
|
boot.loader.systemd-boot.enable = true;
|
2016-03-31 01:48:43 +00:00
|
|
|
|
|
|
|
networking.networkmanager.enable = true;
|
|
|
|
|
2019-08-02 15:03:12 +00:00
|
|
|
# XXX reload to work around occasional "Failed to load firmware chunk!"
|
|
|
|
# TODO only do this if firmware is actually broken(?)
|
|
|
|
system.activationScripts.reload-iwlwifi = /* sh */ ''
|
|
|
|
${pkgs.kmod}/bin/modprobe -vr iwlwifi
|
|
|
|
${pkgs.kmod}/bin/modprobe -v iwlwifi
|
|
|
|
'';
|
|
|
|
|
2022-05-31 18:12:06 +00:00
|
|
|
environment.systemPackages = [
|
|
|
|
pkgs.chromium
|
|
|
|
pkgs.firefox
|
|
|
|
pkgs.gimp
|
|
|
|
pkgs.iptables
|
|
|
|
pkgs.libreoffice
|
|
|
|
pkgs.plasma-pa
|
2022-08-02 11:43:30 +00:00
|
|
|
(pkgs.pidgin.override {
|
|
|
|
plugins = [ pkgs.pidgin-otr ];
|
2017-11-02 20:13:00 +00:00
|
|
|
})
|
2022-05-31 18:12:06 +00:00
|
|
|
pkgs.skypeforlinux
|
|
|
|
pkgs.slock
|
|
|
|
pkgs.tinc_pre
|
|
|
|
pkgs.vim
|
|
|
|
pkgs.xsane
|
|
|
|
|
|
|
|
#pkgs.foomatic_filters
|
|
|
|
#pkgs.gutenprint
|
|
|
|
#pkgs.cups_pdf_filter
|
|
|
|
#pkgs.ghostscript
|
2016-03-31 01:48:43 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
|
|
|
|
i18n.defaultLocale = "de_DE.UTF-8";
|
|
|
|
|
|
|
|
programs.ssh.startAgent = false;
|
|
|
|
|
2021-12-10 22:29:17 +00:00
|
|
|
krebs.setuid = {
|
|
|
|
slock = {
|
|
|
|
filename = "${pkgs.slock}/bin/slock";
|
|
|
|
mode = "4111";
|
|
|
|
};
|
2017-03-02 19:02:01 +00:00
|
|
|
};
|
2016-03-31 01:48:43 +00:00
|
|
|
|
|
|
|
security.pam.loginLimits = [
|
|
|
|
# for jack
|
|
|
|
{ domain = "@audio"; item = "memlock"; type = "-"; value = "unlimited"; }
|
|
|
|
{ domain = "@audio"; item = "rtprio"; type = "-"; value = "99"; }
|
|
|
|
];
|
|
|
|
|
|
|
|
fonts.fonts = [
|
2022-05-31 17:28:17 +00:00
|
|
|
pkgs.xorg.fontschumachermisc
|
2016-03-31 01:48:43 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
services.xserver.enable = true;
|
|
|
|
services.xserver.layout = "de";
|
|
|
|
services.xserver.xkbOptions = "eurosign:e";
|
|
|
|
|
|
|
|
# TODO this is host specific
|
2019-10-16 07:21:17 +00:00
|
|
|
services.xserver.libinput.enable = false;
|
2016-03-31 01:48:43 +00:00
|
|
|
services.xserver.synaptics = {
|
|
|
|
enable = true;
|
|
|
|
twoFingerScroll = true;
|
|
|
|
};
|
|
|
|
|
2020-06-16 21:13:46 +00:00
|
|
|
services.xserver.desktopManager.plasma5.enable = true;
|
|
|
|
|
2021-01-14 15:42:22 +00:00
|
|
|
services.xserver.displayManager.autoLogin.enable = true;
|
|
|
|
services.xserver.displayManager.autoLogin.user = "vv";
|
2016-03-31 01:48:43 +00:00
|
|
|
|
|
|
|
users.users.vv = {
|
|
|
|
inherit (config.krebs.users.vv) home uid;
|
|
|
|
isNormalUser = true;
|
|
|
|
extraGroups = [
|
|
|
|
"audio"
|
|
|
|
"video"
|
|
|
|
"networkmanager"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|