diff --git a/index.html b/index.html index 370618d27..276b048bb 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 2f1198312..692eef398 100644 --- a/options.html +++ b/options.html @@ -5208,6 +5208,9 @@ now. }
Declared by:
<home-manager/modules/programs/rofi.nix>
+ |
programs.rofi.finalPackage
Resulting customized rofi package. +
Type: package (read only)
Declared by:
+ <home-manager/modules/programs/rofi.nix>
|
programs.rofi.font
Font to use.
Type: null or string
Default: null
Example: "Droid Sans Mono 14"
Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.location
The location rofi appears on the screen.
Type: one of "bottom", "bottom-left", "bottom-right", "center", "left", "right", "top", "top-left", "top-right"
Default: "center"
Declared by: