From 95c32aa1c9d9d406aa734562ec5788d5ac6fc7e7 Mon Sep 17 00:00:00 2001 From: ncfavier Date: Fri, 2 Jun 2023 16:00:23 +0000 Subject: [PATCH] deploy: 29519461834c08395b35f840811faf8c23e3b61c --- options.html | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/options.html b/options.html index ceb12f944..920e9c668 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 ]; };