diff --git a/index.html b/index.html index c4bfdcdd..dd43574d 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 67c7d41c..7bdaff5b 100644 --- a/options.html +++ b/options.html @@ -6507,7 +6507,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.3)
Example:
pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; }; +Type: package
Default:
(build of rofi-1.7.5)
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:
@@ -7612,7 +7612,7 @@ manually set any options not listed above.
|
programs.vscode.enable
Whether to enable Visual Studio Code.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/programs/vscode.nix>
|
programs.vscode.package
Version of Visual Studio Code to install. -
Type: package
Default: (build of vscode-1.70.1)
Example: pkgs.vscodium
Declared by:
+ |