From 2d770067b7bbd9d31120b83a67a9a0f5da0644cc Mon Sep 17 00:00:00 2001
From: Jean-Pierre PRUNARET <jean-pierre+git@prunetwork.fr>
Date: Tue, 18 Oct 2016 13:03:49 +0200
Subject: [PATCH] hydra: ajout options pour les profils hydra

---
 config-generator.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/config-generator.nix b/config-generator.nix
index ff07362..f4931b2 100644
--- a/config-generator.nix
+++ b/config-generator.nix
@@ -42,6 +42,8 @@ in
         edition-photo   = mkEnableOption "Profil pour la création/édition de photos.";
         edition-video   = mkEnableOption "Profil pour la création/édition de video.";
         fail2ban        = mkEnableOption "Profil pour activer Fail2ban.";
+        hydra-builder   = mkEnableOption "Profil pour une machine qui compile pour hydra.";
+        hydra-core      = mkEnableOption "Profil pour un serveur hydra.";
         jeux            = mkEnableOption "Profil pour les jeux vidéos.";
         laptop          = mkEnableOption "Profil pour les outils spécifiques aux ordinateurs portables..";
         locate          = mkEnableOption "Profil pour activer la fonction locate.";
@@ -181,6 +183,7 @@ in
       };
 
       r6d.config-generator = {
+        hydra-core = true;
         print = true;
         virtualbox = true;
       };