From 78ece5641db67f8c03eabfd33ba56a4c5940eca4 Mon Sep 17 00:00:00 2001
From: Jean-Pierre PRUNARET <jean-pierre+git@prunetwork.fr>
Date: Wed, 31 May 2017 17:18:17 +0200
Subject: [PATCH] add server options

---
 options.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/options.nix b/options.nix
index 9cf4564..226b769 100644
--- a/options.nix
+++ b/options.nix
@@ -124,8 +124,10 @@ let
       profiles = {
         # Domaine
         isDubronetwork        = mkEnableOption "Pour distinguer les machines dubronetwork.";
+        isDubronetworkServer  = mkEnableOption "Pour distinguer les machines dubronetwork avec Server.";
         isDubronetworkWorkstation = mkEnableOption "Pour distinguer les machines dubronetwork avec Workstation.";
         isPrunetwork          = mkEnableOption "Pour distinguer les machines prunetwork.";
+        isPrunetworkServer    = mkEnableOption "Pour distinguer les machines prunetwork avec Server.";
         isPrunetworkWorkstation = mkEnableOption "Pour distinguer les machines prunetwork avec Workstation.";
         # Utilisation machine
         isDesktopEnvironment  = mkEnableOption "Pour indiquer une machine avec interface graphique.";