2015-12-14 16:56:50 +00:00
|
|
|
{ lib, config, pkgs, ... }:
|
2016-01-18 11:54:03 +00:00
|
|
|
{
|
2015-12-14 13:33:06 +00:00
|
|
|
krebs.build.host = config.krebs.hosts.vbob;
|
2016-04-17 00:03:15 +00:00
|
|
|
makefu.awesome.modkey = "Mod1";
|
2015-12-14 13:33:06 +00:00
|
|
|
imports =
|
|
|
|
[ # Include the results of the hardware scan.
|
2016-02-15 15:27:11 +00:00
|
|
|
../.
|
2015-12-14 13:33:06 +00:00
|
|
|
<nixpkgs/nixos/modules/virtualisation/virtualbox-image.nix>
|
|
|
|
../2configs/main-laptop.nix #< base-gui
|
|
|
|
|
|
|
|
# environment
|
2015-12-14 16:56:50 +00:00
|
|
|
|
2015-12-14 13:33:06 +00:00
|
|
|
];
|
2016-01-18 11:54:03 +00:00
|
|
|
nixpkgs.config.allowUnfree = true;
|
2015-12-16 13:30:21 +00:00
|
|
|
|
2015-12-16 11:23:55 +00:00
|
|
|
fileSystems."/nix" = {
|
|
|
|
device ="/dev/disk/by-label/nixstore";
|
|
|
|
fsType = "ext4";
|
|
|
|
};
|
|
|
|
#makefu.buildbot.master.enable = true;
|
2015-12-14 16:56:50 +00:00
|
|
|
# allow vbob to deploy self
|
|
|
|
users.extraUsers = {
|
|
|
|
root = {
|
|
|
|
openssh.authorizedKeys.keys = [ config.krebs.users.makefu-vbob.pubkey ];
|
|
|
|
};
|
|
|
|
};
|
2015-12-14 13:33:06 +00:00
|
|
|
environment.systemPackages = with pkgs;[
|
2016-01-18 11:54:03 +00:00
|
|
|
fortclientsslvpn
|
2015-12-16 13:30:21 +00:00
|
|
|
buildbot
|
|
|
|
buildbot-slave
|
2015-12-14 13:33:06 +00:00
|
|
|
get
|
2016-01-18 11:54:03 +00:00
|
|
|
logstash
|
2015-12-14 16:56:50 +00:00
|
|
|
];
|
2015-12-14 13:33:06 +00:00
|
|
|
|
|
|
|
networking.firewall.allowedTCPPorts = [
|
|
|
|
25
|
|
|
|
80
|
2015-12-16 16:53:35 +00:00
|
|
|
8010
|
2015-12-14 13:33:06 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
krebs.retiolum = {
|
|
|
|
enable = true;
|
2016-04-16 18:56:21 +00:00
|
|
|
#extraConfig = "Proxy = http global.proxy.alcatel-lucent.com 8000";
|
2015-12-14 13:33:06 +00:00
|
|
|
connectTo = [
|
|
|
|
"gum"
|
|
|
|
];
|
|
|
|
};
|
2015-12-16 11:23:55 +00:00
|
|
|
|
2016-04-16 18:56:21 +00:00
|
|
|
#networking.proxy.default = "http://global.proxy.alcatel-lucent.com:8000";
|
2015-12-14 13:33:06 +00:00
|
|
|
fileSystems."/media/share" = {
|
|
|
|
fsType = "vboxsf";
|
|
|
|
device = "share";
|
2016-04-16 18:56:21 +00:00
|
|
|
options = [ "rw" "uid=9001" "gid=9001" ];
|
2015-12-14 13:33:06 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|