2018-07-20 22:56:59 +02:00
|
|
|
{ config, lib, ... }:
|
2013-09-04 13:05:09 +02:00
|
|
|
|
2014-04-14 16:26:48 +02:00
|
|
|
with lib;
|
2009-01-25 16:49:08 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.services.xserver.windowManager;
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2015-01-30 23:43:01 +01:00
|
|
|
imports = [
|
2017-03-24 15:25:31 +01:00
|
|
|
./2bwm.nix
|
2015-02-28 15:14:33 +01:00
|
|
|
./afterstep.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./bspwm.nix
|
2019-10-08 19:48:09 +02:00
|
|
|
./cwm.nix
|
2015-12-02 23:27:52 +01:00
|
|
|
./dwm.nix
|
2018-03-15 10:14:10 +01:00
|
|
|
./evilwm.nix
|
2016-03-05 14:13:40 +01:00
|
|
|
./exwm.nix
|
2015-02-25 04:53:38 +01:00
|
|
|
./fluxbox.nix
|
2017-04-05 17:12:46 +02:00
|
|
|
./fvwm.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./herbstluftwm.nix
|
|
|
|
./i3.nix
|
2016-03-07 15:21:53 +01:00
|
|
|
./jwm.nix
|
2019-05-23 17:08:44 +02:00
|
|
|
./leftwm.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./metacity.nix
|
2016-07-27 19:34:26 +02:00
|
|
|
./mwm.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./openbox.nix
|
2016-07-03 22:09:12 +02:00
|
|
|
./pekwm.nix
|
2015-07-14 18:35:35 +02:00
|
|
|
./notion.nix
|
2015-04-08 14:14:37 +02:00
|
|
|
./ratpoison.nix
|
2015-02-06 17:32:55 +01:00
|
|
|
./sawfish.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./stumpwm.nix
|
2015-03-16 04:24:54 +01:00
|
|
|
./spectrwm.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./twm.nix
|
|
|
|
./windowmaker.nix
|
|
|
|
./wmii.nix
|
|
|
|
./xmonad.nix
|
2015-07-30 07:31:53 +02:00
|
|
|
./qtile.nix
|
2015-01-30 23:43:01 +01:00
|
|
|
./none.nix ];
|
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:
|
2018-03-17 20:34:10 +01:00
|
|
|
if any (w: w.name == defaultWM) cfg.session then
|
2009-09-15 10:33:45 +02:00
|
|
|
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;
|
|
|
|
};
|
2015-01-30 23:43:01 +01:00
|
|
|
}
|