From b74c32aa4c4e87002a5a8868f76db554a04b10c2 Mon Sep 17 00:00:00 2001 From: rycee Date: Sat, 3 Jun 2023 23:13:15 +0000 Subject: [PATCH] deploy: bffc49ffb255f213d2f902043da37b3016450f4a --- options.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/options.html b/options.html index 920e9c66..d8d8e09f 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 ]; };