diff options
Diffstat (limited to 'krebs/1systems')
| -rw-r--r-- | krebs/1systems/hope/config.nix | 41 | ||||
| -rw-r--r-- | krebs/1systems/hope/source.nix | 3 | ||||
| -rw-r--r-- | krebs/1systems/hotdog/config.nix | 1 | ||||
| -rw-r--r-- | krebs/1systems/onebutton/config.nix | 22 | 
4 files changed, 14 insertions, 53 deletions
| diff --git a/krebs/1systems/hope/config.nix b/krebs/1systems/hope/config.nix deleted file mode 100644 index c19b210c5..000000000 --- a/krebs/1systems/hope/config.nix +++ /dev/null @@ -1,41 +0,0 @@ -with import <stockholm/lib>; -{ config, pkgs, ... }: let - -  ip = config.krebs.build.host.nets.internet.ip4.addr; -  bestGuessGateway = addr: elemAt (match "(.*)(\.[^.])" addr) 0 + ".1"; - -in { -  imports = [ -    <stockholm/krebs> -    <stockholm/krebs/2configs> -    <stockholm/krebs/2configs/os-templates/CAC-CentOS-7-64bit.nix> - -    <stockholm/krebs/2configs/secret-passwords.nix> -    { -      users.extraUsers = { -        satan = { -          name = "satan"; -          uid = 1338; -          home = "/home/satan"; -          group = "users"; -          createHome = true; -          useDefaultShell = true; -          initialPassword = "test"; -        }; -      }; -    } -  ]; - -  krebs.build.host = config.krebs.hosts.hope; - -  networking = let -    address = config.krebs.build.host.nets.internet.ip4.addr; -  in { -    defaultGateway = bestGuessGateway address; -    interfaces.enp2s1.ip4 = singleton { -      inherit address; -      prefixLength = 24; -    }; -    nameservers = ["8.8.8.8"]; -  }; -} diff --git a/krebs/1systems/hope/source.nix b/krebs/1systems/hope/source.nix deleted file mode 100644 index 7121d1d9d..000000000 --- a/krebs/1systems/hope/source.nix +++ /dev/null @@ -1,3 +0,0 @@ -import <stockholm/krebs/source.nix> { -  name = "hope"; -} diff --git a/krebs/1systems/hotdog/config.nix b/krebs/1systems/hotdog/config.nix index 98fb88702..662e094d1 100644 --- a/krebs/1systems/hotdog/config.nix +++ b/krebs/1systems/hotdog/config.nix @@ -21,4 +21,5 @@    boot.isContainer = true;    networking.useDHCP = false;    krebs.ci.stockholmSrc = "http://cgit.prism.r/stockholm"; +  environment.variables.NIX_REMOTE = "daemon";  } diff --git a/krebs/1systems/onebutton/config.nix b/krebs/1systems/onebutton/config.nix index c634d73ce..dca00a206 100644 --- a/krebs/1systems/onebutton/config.nix +++ b/krebs/1systems/onebutton/config.nix @@ -1,33 +1,34 @@  { config, pkgs, lib, ... }:  { +  # :l <nixpkgs> +  # builtins.readDir (pkgs.fetchFromGitHub { owner = "nixos"; repo = "nixpkgs-channels"; rev = "6c064e6b"; sha256 = "1rqzh475xn43phagrr30lb0fd292c1s8as53irihsnd5wcksnbyd"; })    imports = [      <stockholm/krebs>      <stockholm/krebs/2configs> -    { # minimal disk usage -      environment.noXlibs = true; +    { # flag to rebuild everything yourself: +      # environment.noXlibs = true; + +      # minimal disk usage        nix.gc.automatic = true;        nix.gc.dates = "03:10"; -      programs.info.enable = false; -      programs.man.enable = false; -      services.journald.extraConfig = "SystemMaxUse=50M"; +      documentation.man.enable = false; +      documentation.info.enable = false;        services.nixosManual.enable = false; +      services.journald.extraConfig = "SystemMaxUse=50M";      }    ];    krebs.build.host = config.krebs.hosts.onebutton;    # NixOS wants to enable GRUB by default    boot.loader.grub.enable = false; +    # Enables the generation of /boot/extlinux/extlinux.conf    boot.loader.generic-extlinux-compatible.enable = true; -  # !!! If your board is a Raspberry Pi 1, select this:    boot.kernelPackages = pkgs.linuxPackages_rpi;    nix.binaryCaches = [ "http://nixos-arm.dezgeg.me/channel" ];    nix.binaryCachePublicKeys = [ "nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%" ]; -  # !!! Needed for the virtual console to work on the RPi 3, as the default of 16M doesn't seem to be enough. -  # boot.kernelParams = ["cma=32M"]; -    fileSystems = {      "/boot" = {        device = "/dev/disk/by-label/NIXOS_BOOT"; @@ -41,4 +42,7 @@    swapDevices = [ { device = "/swapfile"; size = 1024; } ];    services.openssh.enable = true; + +  networking.wireless.enable = true; +  hardware.enableRedistributableFirmware = true;  } | 
