diff options
author | Luca Bruno <lethalman88@gmail.com> | 2016-06-11 16:44:57 +0200 |
---|---|---|
committer | Luca Bruno <lethalman88@gmail.com> | 2016-06-11 16:47:14 +0200 |
commit | dbed53a79f335535e3ca2610d0e3d154a2243151 (patch) | |
tree | 360e76ea44963cc709acd52587b3fd8043c0a9b3 /nixos/modules | |
parent | a3bff717386bc407e8b9a3c4704e2dcbc033181d (diff) |
gnome3: add gnome-session debug option
Diffstat (limited to 'nixos/modules')
-rw-r--r-- | nixos/modules/services/x11/desktop-managers/gnome3.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/nixos/modules/services/x11/desktop-managers/gnome3.nix b/nixos/modules/services/x11/desktop-managers/gnome3.nix index 91601f387cbe9..700faad0c6956 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=$! ''; }; |