From dbed53a79f335535e3ca2610d0e3d154a2243151 Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Sat, 11 Jun 2016 16:44:57 +0200 Subject: [PATCH] gnome3: add gnome-session debug option --- nixos/modules/services/x11/desktop-managers/gnome3.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/nixos/modules/services/x11/desktop-managers/gnome3.nix b/nixos/modules/services/x11/desktop-managers/gnome3.nix index 91601f387cb..700faad0c69 100644 --- a/nixos/modules/services/x11/desktop-managers/gnome3.nix +++ b/nixos/modules/services/x11/desktop-managers/gnome3.nix @@ -78,6 +78,8 @@ in { type = types.listOf types.path; description = "List of packages for which gsettings are overridden."; }; + + debug = mkEnableOption "gnome-session debug messages"; }; environment.gnome3.packageSet = mkOption { @@ -159,7 +161,7 @@ in { # Update user dirs as described in http://freedesktop.org/wiki/Software/xdg-user-dirs/ ${pkgs.xdg-user-dirs}/bin/xdg-user-dirs-update - ${gnome3.gnome_session}/bin/gnome-session& + ${gnome3.gnome_session}/bin/gnome-session ${optionalString cfg.debug "--debug"} & waitPID=$! ''; };