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 = [
|
2017-07-06 19:47:47 +00:00
|
|
|
<stockholm/krebs>
|
|
|
|
<stockholm/tv/2configs>
|
|
|
|
<stockholm/tv/3modules>
|
|
|
|
<stockholm/tv/2configs/exim-retiolum.nix>
|
|
|
|
<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;
|
|
|
|
|
2016-03-31 01:48:43 +00:00
|
|
|
# hardware configuration
|
2017-08-18 07:06:27 +00:00
|
|
|
boot.initrd.luks.devices.muca = {
|
|
|
|
device = "/dev/disk/by-uuid/a8796bb3-6c03-4ddf-b2e4-c2e44c51d352";
|
|
|
|
};
|
2016-03-31 01:48:43 +00:00
|
|
|
boot.initrd.luks.cryptoModules = [ "aes" "sha512" "xts" ];
|
|
|
|
boot.initrd.availableKernelModules = [ "ahci" ];
|
|
|
|
boot.kernelModules = [ "fbcon" "kvm-intel" ];
|
|
|
|
boot.extraModulePackages = [ ];
|
|
|
|
|
|
|
|
fileSystems = {
|
|
|
|
"/" = {
|
2017-08-18 07:06:27 +00:00
|
|
|
device = "/dev/mapper/muvga-root";
|
|
|
|
fsType = "btrfs";
|
|
|
|
options = ["defaults" "noatime" "ssd" "compress=lzo"];
|
2016-03-31 01:48:43 +00:00
|
|
|
};
|
|
|
|
"/home" = {
|
2017-08-18 07:06:27 +00:00
|
|
|
device = "/dev/mapper/muvga-home";
|
|
|
|
fsType = "btrfs";
|
|
|
|
options = ["defaults" "noatime" "ssd" "compress=lzo"];
|
2016-03-31 01:48:43 +00:00
|
|
|
};
|
|
|
|
"/boot" = {
|
2017-08-18 07:06:27 +00:00
|
|
|
device = "/dev/disk/by-uuid/DC38-F165";
|
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;
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
2017-08-31 20:02:52 +00:00
|
|
|
chromium
|
|
|
|
firefoxWrapper
|
|
|
|
gimp
|
|
|
|
iptables
|
|
|
|
libreoffice
|
2017-11-02 20:13:00 +00:00
|
|
|
(pkgs.pidgin-with-plugins.override {
|
|
|
|
plugins = [ pkgs.pidginotr ];
|
|
|
|
})
|
2017-08-31 20:02:52 +00:00
|
|
|
skype
|
2016-03-31 01:48:43 +00:00
|
|
|
slock
|
2016-06-29 23:05:21 +00:00
|
|
|
tinc_pre
|
2016-03-31 01:48:43 +00:00
|
|
|
vim
|
|
|
|
xsane
|
|
|
|
|
|
|
|
#foomatic_filters
|
|
|
|
#gutenprint
|
|
|
|
#cups_pdf_filter
|
|
|
|
#ghostscript
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
|
|
i18n.defaultLocale = "de_DE.UTF-8";
|
|
|
|
|
|
|
|
programs.ssh.startAgent = false;
|
|
|
|
|
2017-03-02 19:02:01 +00:00
|
|
|
security.wrappers = {
|
2017-06-27 19:30:05 +00:00
|
|
|
slock.source = "${pkgs.slock}/bin/slock";
|
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 = [
|
|
|
|
pkgs.xlibs.fontschumachermisc
|
|
|
|
];
|
|
|
|
|
|
|
|
# Enable CUPS to print documents.
|
|
|
|
services.printing = {
|
|
|
|
enable = true;
|
|
|
|
#drivers = [
|
|
|
|
# #pkgs.foomatic_filters
|
|
|
|
# #pkgs.gutenprint
|
|
|
|
# #pkgs.cups_pdf_filter
|
|
|
|
# #pkgs.ghostscript
|
|
|
|
#];
|
|
|
|
#cupsdConf = ''
|
|
|
|
# LogLevel debug2
|
|
|
|
#'';
|
|
|
|
};
|
|
|
|
|
|
|
|
services.xserver.enable = true;
|
|
|
|
services.xserver.layout = "de";
|
|
|
|
services.xserver.xkbOptions = "eurosign:e";
|
|
|
|
|
|
|
|
# TODO this is host specific
|
|
|
|
services.xserver.synaptics = {
|
|
|
|
enable = true;
|
|
|
|
twoFingerScroll = true;
|
|
|
|
};
|
|
|
|
|
2017-06-27 19:30:22 +00:00
|
|
|
services.xserver.desktopManager.plasma5 = {
|
|
|
|
enable = true;
|
|
|
|
};
|
2016-03-31 01:48:43 +00:00
|
|
|
services.xserver.displayManager.auto = {
|
|
|
|
enable = true;
|
|
|
|
user = "vv";
|
|
|
|
};
|
|
|
|
|
|
|
|
users.users.vv = {
|
|
|
|
inherit (config.krebs.users.vv) home uid;
|
|
|
|
isNormalUser = true;
|
|
|
|
extraGroups = [
|
|
|
|
"audio"
|
|
|
|
"video"
|
|
|
|
"networkmanager"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|