From e7508b831fbdec12261ee18deb3a8cbcb701427a Mon Sep 17 00:00:00 2001
From: Thomas Tuegel <ttuegel@gmail.com>
Date: Sat, 24 Jan 2015 10:34:37 -0600
Subject: [PATCH] kde5: warn if enabled with kde4

---
 nixos/modules/services/x11/desktop-managers/kde5.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/nixos/modules/services/x11/desktop-managers/kde5.nix b/nixos/modules/services/x11/desktop-managers/kde5.nix
index 237c1f5a189..125bce94aba 100644
--- a/nixos/modules/services/x11/desktop-managers/kde5.nix
+++ b/nixos/modules/services/x11/desktop-managers/kde5.nix
@@ -68,6 +68,9 @@ in
 
   config = mkIf (xcfg.enable && cfg.enable) {
 
+    warnings = optional config.services.xserver.desktopManager.kde4.enable
+      "KDE 4 should not be enabled at the same time as KDE 5";
+
     services.xserver.desktopManager.session = singleton {
       name = "kde5";
       bgSupport = true;