2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2013-09-04 12:05:09 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2009-01-25 15:49:08 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.services.xserver.windowManager;
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2015-01-30 22:43:01 +00:00
|
|
|
imports = [
|
2015-02-28 14:14:33 +00:00
|
|
|
./afterstep.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./bspwm.nix
|
2015-11-04 14:15:52 +00:00
|
|
|
./clfswm.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./compiz.nix
|
2015-12-02 22:27:52 +00:00
|
|
|
./dwm.nix
|
2015-02-25 03:53:38 +00:00
|
|
|
./fluxbox.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./herbstluftwm.nix
|
|
|
|
./i3.nix
|
|
|
|
./metacity.nix
|
|
|
|
./openbox.nix
|
2015-07-14 17:35:35 +01:00
|
|
|
./notion.nix
|
2015-04-08 13:14:37 +01:00
|
|
|
./ratpoison.nix
|
2015-02-06 16:32:55 +00:00
|
|
|
./sawfish.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./stumpwm.nix
|
2015-03-16 03:24:54 +00:00
|
|
|
./spectrwm.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./twm.nix
|
|
|
|
./windowmaker.nix
|
|
|
|
./wmii.nix
|
|
|
|
./xmonad.nix
|
2015-07-30 06:31:53 +01:00
|
|
|
./qtile.nix
|
2015-01-30 22:43:01 +00:00
|
|
|
./none.nix ];
|
2009-01-25 15:49:08 +00:00
|
|
|
|
2009-09-15 09:33:45 +01:00
|
|
|
options = {
|
2013-09-04 12:05:09 +01:00
|
|
|
|
2009-09-15 09:33:45 +01:00
|
|
|
services.xserver.windowManager = {
|
2009-01-25 15:49:08 +00:00
|
|
|
|
2009-09-15 09:33:45 +01:00
|
|
|
session = mkOption {
|
2013-10-30 16:37:45 +00:00
|
|
|
internal = true;
|
2009-09-15 09:33:45 +01:00
|
|
|
default = [];
|
|
|
|
example = [{
|
|
|
|
name = "wmii";
|
|
|
|
start = "...";
|
|
|
|
}];
|
2013-09-04 12:05:09 +01:00
|
|
|
description = ''
|
2009-09-15 09:33:45 +01: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 12:05:09 +01:00
|
|
|
'';
|
2009-09-15 09:33:45 +01:00
|
|
|
apply = map (d: d // {
|
|
|
|
manage = "window";
|
|
|
|
});
|
|
|
|
};
|
2009-01-25 15:49:08 +00:00
|
|
|
|
2009-09-15 09:33:45 +01:00
|
|
|
default = mkOption {
|
2013-10-30 10:02:04 +00:00
|
|
|
type = types.str;
|
2009-09-15 09:33:45 +01:00
|
|
|
default = "none";
|
|
|
|
example = "wmii";
|
2013-09-04 12:05:09 +01:00
|
|
|
description = "Default window manager loaded if none have been chosen.";
|
2009-09-15 09:33:45 +01:00
|
|
|
apply = defaultWM:
|
|
|
|
if any (w: w.name == defaultWM) cfg.session then
|
|
|
|
defaultWM
|
|
|
|
else
|
|
|
|
throw "Default window manager (${defaultWM}) not found.";
|
2009-01-25 15:49:08 +00:00
|
|
|
};
|
2009-09-15 09:33:45 +01:00
|
|
|
|
2009-01-25 15:49:08 +00:00
|
|
|
};
|
2013-09-04 12:05:09 +01:00
|
|
|
|
2009-01-25 15:49:08 +00:00
|
|
|
};
|
2009-09-15 09:33:45 +01:00
|
|
|
|
|
|
|
config = {
|
|
|
|
services.xserver.displayManager.session = cfg.session;
|
|
|
|
};
|
2015-01-30 22:43:01 +00:00
|
|
|
}
|