From 6ffac1c71dfffeffc75a6dff3721c63a67b0b885 Mon Sep 17 00:00:00 2001 From: rycee Date: Fri, 23 Aug 2024 11:30:00 +0000 Subject: [PATCH] deploy: 40ddec2f8a71d9fb92735f0553dc81a8825596c4 --- options.xhtml | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/options.xhtml b/options.xhtml index 9507c078c..7c6cd06d4 100644 --- a/options.xhtml +++ b/options.xhtml @@ -53891,6 +53891,35 @@ submodule

Default: { }

+

Declared by:

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

If set, zsh sessions will append their history list to the history +file, rather than replace it. Thus, multiple parallel zsh sessions +will all have the new entries from their history lists added to the +history file, in the order that they exit.

This file will still be periodically re-written to trim it when the +number of lines grows 20% beyond the value specified by +programs.zsh.history.save.

+ +

Type: +boolean

+ +

Default: +false

+

Declared by: