2015-08-23 01:28:41 +02:00
|
|
|
#
|
|
|
|
#
|
|
|
|
#
|
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
imports =
|
|
|
|
[ # Include the results of the hardware scan.
|
|
|
|
../2configs/base.nix
|
2015-08-23 02:48:35 +02:00
|
|
|
../2configs/main-laptop.nix #< base-gui
|
|
|
|
|
2015-09-27 19:30:37 +02:00
|
|
|
# configures sources
|
|
|
|
../2configs/base-sources.nix
|
|
|
|
|
2015-08-24 11:06:10 +02:00
|
|
|
# Krebs
|
2015-08-23 01:28:41 +02:00
|
|
|
../2configs/tinc-basic-retiolum.nix
|
2015-08-24 11:06:10 +02:00
|
|
|
#../2configs/disable_v6.nix
|
|
|
|
|
2015-09-02 10:02:05 +02:00
|
|
|
# environment
|
2015-08-23 02:48:35 +02:00
|
|
|
../2configs/zsh-user.nix
|
2015-08-24 11:06:10 +02:00
|
|
|
|
|
|
|
# applications
|
2015-08-23 02:48:35 +02:00
|
|
|
../2configs/exim-retiolum.nix
|
2015-09-27 19:30:37 +02:00
|
|
|
#../2configs/virtualization.nix
|
|
|
|
../2configs/virtualization-virtualbox.nix
|
2015-08-24 11:06:10 +02:00
|
|
|
../2configs/wwan.nix
|
2015-08-23 01:28:41 +02:00
|
|
|
|
2015-09-02 10:02:05 +02:00
|
|
|
# services
|
|
|
|
../2configs/git/brain-retiolum.nix
|
2015-09-27 19:30:37 +02:00
|
|
|
../2configs/tor.nix
|
2015-08-31 19:56:47 +02:00
|
|
|
|
2015-08-23 02:48:35 +02:00
|
|
|
# hardware specifics are in here
|
2015-09-02 10:02:05 +02:00
|
|
|
../2configs/hw/tp-x220.nix
|
|
|
|
# mount points
|
|
|
|
../2configs/fs/sda-crypto-root-home.nix
|
2015-08-23 01:28:41 +02:00
|
|
|
];
|
2015-09-27 19:30:37 +02:00
|
|
|
krebs.Reaktor.enable = true;
|
|
|
|
krebs.Reaktor.debug = true;
|
|
|
|
krebs.Reaktor.nickname = "makefu|r";
|
2015-08-23 02:48:35 +02:00
|
|
|
|
2015-08-23 01:28:41 +02:00
|
|
|
krebs.build.host = config.krebs.hosts.pornocauster;
|
|
|
|
krebs.build.user = config.krebs.users.makefu;
|
2015-08-23 02:48:35 +02:00
|
|
|
krebs.build.target = "root@pornocauster";
|
|
|
|
|
2015-10-14 00:10:56 +02:00
|
|
|
environment.systemPackages = with pkgs;[ get ];
|
|
|
|
|
|
|
|
services.logind.extraConfig = "HandleLidSwitch=ignore";
|
|
|
|
# configure pulseAudio to provide a HDMI sink as well
|
|
|
|
hardware.pulseaudio.configFile = pkgs.writeText "pulse-default-pa" ''
|
|
|
|
${builtins.readFile "${config.hardware.pulseaudio.package}/etc/pulse/default.pa"}
|
|
|
|
load-module module-alsa-sink device=hw:0,3 sink_properties=device.description="HDMIOutput" sink_name="HDMI"'';
|
2015-08-23 01:28:41 +02:00
|
|
|
networking.firewall.allowedTCPPorts = [
|
|
|
|
25
|
|
|
|
];
|
|
|
|
|
|
|
|
}
|