2009-08-21 12:13:27 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
2009-02-22 17:08:46 +01:00
|
|
|
|
|
|
|
let
|
2009-08-21 12:13:27 +02:00
|
|
|
|
2009-06-26 00:08:03 +02:00
|
|
|
xcfg = config.services.xserver;
|
|
|
|
cfg = xcfg.desktopManager.kde4;
|
2009-09-10 14:37:33 +02:00
|
|
|
xorg = pkgs.xorg;
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2009-08-21 12:13:27 +02:00
|
|
|
in
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2009-08-21 12:13:27 +02:00
|
|
|
{
|
|
|
|
options = {
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2009-08-21 12:13:27 +02:00
|
|
|
services.xserver.desktopManager.kde4.enable = mkOption {
|
|
|
|
default = false;
|
|
|
|
example = true;
|
|
|
|
description = "Enable the KDE 4 desktop environment.";
|
|
|
|
};
|
2009-04-12 00:12:02 +02:00
|
|
|
|
2010-05-27 11:35:36 +02:00
|
|
|
environment.kdePackages = mkOption {
|
|
|
|
default = [];
|
2010-08-20 01:07:14 +02:00
|
|
|
example = [ pkgs.kde4.kdesdk ];
|
2010-05-27 11:35:36 +02:00
|
|
|
type = types.list types.package;
|
2010-10-14 16:57:38 +02:00
|
|
|
description = "This option is obsolete. Please use <option>environment.systemPackages</option> instead.";
|
2010-05-27 11:35:36 +02:00
|
|
|
};
|
|
|
|
|
2009-08-21 12:13:27 +02:00
|
|
|
};
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2009-08-21 12:13:27 +02:00
|
|
|
|
|
|
|
config = mkIf (xcfg.enable && cfg.enable) {
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2009-08-21 15:05:45 +02:00
|
|
|
# If KDE 4 is enabled, make it the default desktop manager (unless
|
2009-08-21 12:13:27 +02:00
|
|
|
# overriden by the user's configuration).
|
|
|
|
# !!! doesn't work yet ("Multiple definitions. Only one is allowed
|
|
|
|
# for this option.")
|
2010-09-03 21:10:59 +02:00
|
|
|
# services.xserver.desktopManager.default = mkOverrideTemplate 900 "kde4";
|
2009-08-21 12:13:27 +02:00
|
|
|
|
|
|
|
services.xserver.desktopManager.session = singleton
|
|
|
|
{ name = "kde4";
|
|
|
|
bgSupport = true;
|
|
|
|
start =
|
|
|
|
''
|
2009-02-22 17:08:46 +01:00
|
|
|
# Start KDE.
|
2009-09-13 13:09:58 +02:00
|
|
|
exec ${pkgs.kde4.kdebase_workspace}/bin/startkde
|
2009-02-22 17:08:46 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2011-07-18 14:37:13 +02:00
|
|
|
security.setuidOwners = singleton
|
|
|
|
{ program = "kcheckpass";
|
|
|
|
source = "${pkgs.kde4.kdebase_workspace}/lib/kde4/libexec/kcheckpass";
|
|
|
|
owner = "root";
|
|
|
|
group = "root";
|
|
|
|
setuid = true;
|
|
|
|
};
|
2009-02-22 17:08:46 +01:00
|
|
|
|
2011-03-03 13:00:54 +01:00
|
|
|
environment.systemPackages =
|
2011-07-18 14:37:13 +02:00
|
|
|
(if pkgs.kde4 ? kdebase then
|
|
|
|
# KDE <= 4.6
|
|
|
|
[ # temporary workarounds
|
|
|
|
pkgs.shared_desktop_ontologies
|
|
|
|
pkgs.strigi
|
|
|
|
|
|
|
|
pkgs.kde4.kdelibs
|
|
|
|
pkgs.kde4.kdebase
|
|
|
|
pkgs.kde4.kdebase_runtime
|
|
|
|
pkgs.kde4.kdebase_workspace
|
|
|
|
pkgs.kde4.oxygen_icons
|
|
|
|
pkgs.kde4.qt4 # needed for qdbus
|
|
|
|
pkgs.shared_mime_info
|
|
|
|
pkgs.gst_all.gstreamer
|
|
|
|
pkgs.gst_all.gstPluginsBase
|
|
|
|
pkgs.gst_all.gstPluginsGood
|
|
|
|
pkgs.gst_all.gstFfmpeg # for mp3 playback
|
|
|
|
xorg.xmessage # so that startkde can show error messages
|
|
|
|
xorg.xset # used by startkde, non-essential
|
|
|
|
]
|
|
|
|
else
|
|
|
|
# KDE >= 4.7
|
|
|
|
[ pkgs.kde4.kdelibs
|
|
|
|
pkgs.kde4.kde_baseapps
|
|
|
|
pkgs.kde4.kde_runtime
|
|
|
|
pkgs.kde4.kde_workspace
|
|
|
|
pkgs.kde4.kde_wallpapers # contains kdm's default background
|
|
|
|
pkgs.kde4.oxygen_icons
|
|
|
|
pkgs.kde4.konsole
|
|
|
|
pkgs.kde4.kcolorchooser
|
|
|
|
pkgs.kde4.ksnapshot
|
|
|
|
pkgs.kde4.kate
|
|
|
|
pkgs.kde4.okular
|
|
|
|
pkgs.kde4.gwenview
|
|
|
|
|
|
|
|
# Phonon backends.
|
|
|
|
pkgs.kde4.phonon_backend_gstreamer
|
|
|
|
pkgs.gst_all.gstPluginsBase
|
|
|
|
|
|
|
|
# Miscellaneous runtime dependencies.
|
|
|
|
pkgs.kde4.qt4 # needed for qdbus
|
|
|
|
pkgs.shared_mime_info
|
|
|
|
xorg.xmessage # so that startkde can show error messages
|
|
|
|
xorg.xset # used by startkde, non-essential
|
|
|
|
]
|
|
|
|
) ++ config.environment.kdePackages;
|
2010-05-27 11:35:36 +02:00
|
|
|
|
2011-03-03 13:00:54 +01:00
|
|
|
environment.pathsToLink = [ "/share" ];
|
2010-05-27 11:35:36 +02:00
|
|
|
|
2011-03-03 13:00:54 +01:00
|
|
|
environment.etc = singleton
|
2009-02-22 17:08:46 +01:00
|
|
|
{ source = "${pkgs.xkeyboard_config}/etc/X11/xkb";
|
|
|
|
target = "X11/xkb";
|
2009-08-21 12:13:27 +02:00
|
|
|
};
|
2011-03-03 13:00:54 +01:00
|
|
|
|
2009-02-22 17:08:46 +01:00
|
|
|
};
|
2009-08-21 12:13:27 +02:00
|
|
|
|
2009-02-22 17:08:46 +01:00
|
|
|
}
|