diff --git a/index.html b/index.html index c499dddea..f51a7dcab 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 d93321e84..2da020235 100644 --- a/options.html +++ b/options.html @@ -5477,7 +5477,7 @@ now.
programs.rofi.enable
Whether to enable Rofi: A window switcher, application launcher and dmenu replacement.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.package
Package providing the rofi binary. -
Type: package
Default: (build of rofi-1.7.2)
Example:
pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; }; +Type: package
Default:
(build of rofi-1.7.3)
Example:
pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; };Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.configPath
Path where to put generated configuration file.
Type: string
Default: "$XDG_CONFIG_HOME/rofi/config.rasi"
Declared by: