diff --git a/options.html b/options.html index ceb12f94..920e9c66 100644 --- a/options.html +++ b/options.html @@ -5409,6 +5409,20 @@ now.
Type: package or one of "curse expand-tilde = true; }
Declared by:
<home-manager/modules/programs/readline.nix>
+ |
programs.ripgrep.enable
Whether to enable Ripgrep.
Type: boolean
Default: false
Example: true
Declared by:
+ <home-manager/modules/programs/ripgrep.nix>
+ |
programs.ripgrep.package
The ripgrep package to use.
Type: package
Default: pkgs.ripgrep
Declared by:
+ <home-manager/modules/programs/ripgrep.nix>
+ |
programs.ripgrep.arguments
List of arguments to pass to ripgrep. Each item is given to ripgrep as a single command line argument verbatim. + +See https://github.com/BurntSushi/ripgrep/blob/master/GUIDE.md#configuration-file +for an example configuration.
Type: list of string
Default: [ ]
Example:
[ + "--max-columns-preview" + "--colors=line:style:bold" +]
Declared by:
+ <home-manager/modules/programs/ripgrep.nix>
+ |
programs.ripgrep.configDir
Directory where the ripgreprc
file will be stored.
Type: string
Default: "${config.xdg.configHome}/ripgrep"
Declared by:
+ <home-manager/modules/programs/ripgrep.nix>
|
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: <derivation rofi-1.7.5>
Example:
pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; };