anchor.diff:  
             export XDG_MENU_PREFIX=gnome-
   
  -          ${concatMapStrings (p: ''
  -            if [ -d "${p}/share/gsettings-schemas/${p.name}" ]; then
  -              export XDG_DATA_DIRS=$XDG_DATA_DIRS''${XDG_DATA_DIRS:+:}${p}/share/gsettings-schemas/${p.name}
  -            fi
  -
  -            if [ -d "${p}/lib/girepository-1.0" ]; then
  -              export GI_TYPELIB_PATH=$GI_TYPELIB_PATH''${GI_TYPELIB_PATH:+:}${p}/lib/girepository-1.0
  -              export LD_LIBRARY_PATH=$LD_LIBRARY_PATH''${LD_LIBRARY_PATH:+:}${p}/lib
  -            fi
  -          '') cfg.sessionPath}
  -
             # Override default mimeapps
             export XDG_DATA_DIRS=$XDG_DATA_DIRS''${XDG_DATA_DIRS:+:}${mimeAppsList}/share
   
  
positive.code:     environment.variables.GIO_EXTRA_MODULES = [ "${lib.getLib pkgs.gnome3.dconf}/lib/gio/modules"
                                                  "${pkgs.gnome3.glib-networking.out}/lib/gio/modules"
                                                  "${pkgs.gnome3.gvfs}/lib/gio/modules" ];
      environment.systemPackages = pkgs.gnome3.corePackages ++ cfg.sessionPath
        ++ (removePackagesByName pkgs.gnome3.optionalPackages config.environment.gnome3.excludePackages) ++ [
        pkgs.xdg-user-dirs # Update user dirs as described in http://freedesktop.org/wiki/Software/xdg-user-dirs/
      ];
  
negative.code:       enable = mkOption {
          default = false;
          description = "Enable Gnome 3 desktop manager.";
        };
  
        extraGSettingsOverrides = mkOption {
  