From 71f2577f70e15c9651906c6023fa36b8520d87f5 Mon Sep 17 00:00:00 2001 From: khaneliman Date: Wed, 29 Jan 2025 22:32:36 +0000 Subject: [PATCH] deploy: 79eff1f6b95c059ed0f9dfae9fd16689c1dda5ca --- options.xhtml | 49 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/options.xhtml b/options.xhtml index 2588b19b8..6f766871d 100644 --- a/options.xhtml +++ b/options.xhtml @@ -58759,6 +58759,31 @@ boolean

Default: false

+

Declared by:

+ + +
+ +<home-manager/modules/programs/zsh.nix> + +
+ +
+ + programs.zsh.history.findNoDups + + +
+
+

Do not display a line previously found in the history +file.

+ +

Type: +boolean

+ +

Default: +false

+

Declared by:

@@ -58916,6 +58941,30 @@ signed integer

Default: 10000

+

Declared by:

+ + +
+ +<home-manager/modules/programs/zsh.nix> + +
+ +
+ + programs.zsh.history.saveNoDups + + +
+
+

Do not write duplicate entries into the history file.

+ +

Type: +boolean

+ +

Default: +false

+

Declared by: