2013-09-04 13:05:09 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
2009-01-25 16:49:08 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.services.xserver.windowManager;
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2013-09-04 13:05:09 +02:00
|
|
|
imports =
|
|
|
|
[ ./compiz.nix
|
|
|
|
./openbox.nix
|
|
|
|
./metacity.nix
|
|
|
|
./none.nix
|
|
|
|
./twm.nix
|
|
|
|
./wmii.nix
|
|
|
|
./xmonad.nix
|
|
|
|
./i3.nix
|
2013-11-09 02:38:15 +01:00
|
|
|
./herbstluftwm.nix
|
2013-09-04 13:05:09 +02:00
|
|
|
];
|
2009-01-25 16:49:08 +01:00
|
|
|
|
2009-09-15 10:33:45 +02:00
|
|
|
options = {
|
2013-09-04 13:05:09 +02:00
|
|
|
|
2009-09-15 10:33:45 +02:00
|
|
|
services.xserver.windowManager = {
|
2009-01-25 16:49:08 +01:00
|
|
|
|
2009-09-15 10:33:45 +02:00
|
|
|
session = mkOption {
|
2013-10-30 17:37:45 +01:00
|
|
|
internal = true;
|
2009-09-15 10:33:45 +02:00
|
|
|
default = [];
|
|
|
|
example = [{
|
|
|
|
name = "wmii";
|
|
|
|
start = "...";
|
|
|
|
}];
|
2013-09-04 13:05:09 +02:00
|
|
|
description = ''
|
2009-09-15 10:33:45 +02:00
|
|
|
Internal option used to add some common line to window manager
|
|
|
|
scripts before forwarding the value to the
|
|
|
|
<varname>displayManager</varname>.
|
2013-09-04 13:05:09 +02:00
|
|
|
'';
|
2009-09-15 10:33:45 +02:00
|
|
|
apply = map (d: d // {
|
|
|
|
manage = "window";
|
|
|
|
});
|
|
|
|
};
|
2009-01-25 16:49:08 +01:00
|
|
|
|
2009-09-15 10:33:45 +02:00
|
|
|
default = mkOption {
|
2013-10-30 11:02:04 +01:00
|
|
|
type = types.str;
|
2009-09-15 10:33:45 +02:00
|
|
|
default = "none";
|
|
|
|
example = "wmii";
|
2013-09-04 13:05:09 +02:00
|
|
|
description = "Default window manager loaded if none have been chosen.";
|
2009-09-15 10:33:45 +02:00
|
|
|
apply = defaultWM:
|
|
|
|
if any (w: w.name == defaultWM) cfg.session then
|
|
|
|
defaultWM
|
|
|
|
else
|
|
|
|
throw "Default window manager (${defaultWM}) not found.";
|
2009-01-25 16:49:08 +01:00
|
|
|
};
|
2009-09-15 10:33:45 +02:00
|
|
|
|
2009-01-25 16:49:08 +01:00
|
|
|
};
|
2013-09-04 13:05:09 +02:00
|
|
|
|
2009-01-25 16:49:08 +01:00
|
|
|
};
|
2009-09-15 10:33:45 +02:00
|
|
|
|
|
|
|
config = {
|
|
|
|
services.xserver.displayManager.session = cfg.session;
|
|
|
|
};
|
2009-01-25 16:49:08 +01:00
|
|
|
}
|