diff --git a/index.html b/index.html index 5f0c54e4..5293a56c 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 1aff27c4..bbdc44fb 100644 --- a/options.html +++ b/options.html @@ -8487,6 +8487,10 @@ percent symbol). <home-manager/modules/services/clipmenu.nix>
services.clipmenu.package
clipmenu derivation to use.
Type: package
Default: "pkgs.clipmenu"
Declared by:
<home-manager/modules/services/clipmenu.nix>
+ |
services.clipmenu.launcher
Launcher command, if not set, dmenu +will be used by default. +
Type: null or string
Default: null
Example: "rofi"
Declared by:
+ <home-manager/modules/services/clipmenu.nix>
|
services.devilspie2.enable
Whether to enable Devilspie2, a window matching utility, allowing the user to perform scripted actions on windows as they are created.
Type: boolean
Default: false
Example: true
Declared by: