diff --git a/options.html b/options.html index 920e9c668..d8d8e09fa 100644 --- a/options.html +++ b/options.html @@ -5413,16 +5413,15 @@ now.

Type: package or one of "curse <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. - +

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 ]; };