{ config, pkgs, ... }:

{
  ####################################### HYDRA

  virtualisation.virtualbox.host.enable = true;

  # une fois installé :
  # 1. créer chef SSH : ssh-keygen -C "hydra@pedro.dubronetwork.fr" -N "" -f /etc/nixos/id_buildfarm
  # 2. récupérer la clef publique du serveur ssh : ssh-keyscan localhost + l'ajouter dans les knownHosts
  # 2. créer un utilisateur
  # su - hydra
  # hydra-create-user jpierre03 --password toto --role 'admin'
  # accessible à hydra.pedro.dubnronetwork.fr
  services.hydra = {
    enable = true;
    hydraURL = "http://hydra.pedro.dubronetwork.fr";
    notificationSender = "hydra@${config.networking.hostName}";
    listenHost = "localhost";
    minimumDiskFree = 50; # Go
  };

  programs.ssh.knownHosts."pedro.dubronetwork.fr".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIM7fjo2ysLqlfSo6BKnc6I6m1ayoPrbwEEyTKZmUzsOD";
  nix = {
    distributedBuilds = true;
    buildMachines = [
      { hostName = "pedro.dubronetwork.fr"; maxJobs = 2; speedFactor = 10; sshKey = "/etc/nixos/id_buildfarm"; sshUser = "root"; system = "x86_64-linux"; }
    ];
    extraOptions = "auto-optimise-store = true";
  };
  #  nix.gc = {
  #  automatic = true;
  #};
}