From 1f480bbbff8757aa2f210aef3a49ff52ad264401 Mon Sep 17 00:00:00 2001
From: Jean-Pierre PRUNARET <jean-pierre+git@prunetwork.fr>
Date: Wed, 31 May 2017 14:45:39 +0200
Subject: [PATCH] add option to identify Workstations

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

diff --git a/options.nix b/options.nix
index ddc011f..cb19286 100644
--- a/options.nix
+++ b/options.nix
@@ -124,7 +124,9 @@ let
       profiles = {
         # Domaine
         isDubronetwork        = mkEnableOption "Pour distinguer les machines dubronetwork.";
+        isDubronetworkWorkstation = mkEnableOption "Pour distinguer les machines dubronetwork avec Workstation.";
         isPrunetwork          = mkEnableOption "Pour distinguer les machines prunetwork.";
+        isPrunetworkWorkstation = mkEnableOption "Pour distinguer les machines prunetwork avec Workstation.";
         # Utilisation machine
         isDesktopEnvironment  = mkEnableOption "Pour indiquer une machine avec interface graphique.";
         isServer              = mkEnableOption "Pour indiquer qu'il s'agit d'un serveur.";