From f1bbd2227f8679111dd2fff58a18e78b363aec60 Mon Sep 17 00:00:00 2001 From: ncfavier Date: Fri, 4 Aug 2023 10:13:49 +0000 Subject: [PATCH] deploy: 15043a65915bcc16ad207d65b202659e4988066b --- options.html | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/options.html b/options.html index 6c43a3b81..a3246e8d0 100644 --- a/options.html +++ b/options.html @@ -11145,6 +11145,12 @@ boolean

Default: boolean

Default: false

Declared by:

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

If a new command line being added to the history list +duplicates an older one, the older command is removed +from the list (even if it is not the previous event).

Type: +boolean

Default: +false

Declared by:

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

Do not enter command lines into the history list if they are duplicates of the previous event.

Type: boolean

Default: