mirror of
https://github.com/nix-community/home-manager
synced 2024-11-10 07:04:17 +00:00
deploy: 40ddec2f8a
This commit is contained in:
parent
5016c4be9e
commit
6ffac1c71d
1 changed files with 29 additions and 0 deletions
|
@ -53891,6 +53891,35 @@ submodule</p>
|
|||
<p><span class="emphasis"><em>Default:</em></span>
|
||||
<code class="literal">{ }</code></p>
|
||||
|
||||
<p><span class="emphasis"><em>Declared by:</em></span></p>
|
||||
<table border="0" summary="Simple list" class="simplelist">
|
||||
<tr><td>
|
||||
<code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/zsh.nix" target="_top">
|
||||
<home-manager/modules/programs/zsh.nix>
|
||||
</a></code>
|
||||
</td></tr>
|
||||
</table>
|
||||
</dd>
|
||||
<dt>
|
||||
<span class="term">
|
||||
<a id="opt-programs.zsh.history.append"></a><a class="term" href="options.xhtml#opt-programs.zsh.history.append"><code class="option">programs.zsh.history.append</code>
|
||||
</a>
|
||||
</span>
|
||||
</dt>
|
||||
<dd>
|
||||
<p>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.</p><p>This file will still be periodically re-written to trim it when the
|
||||
number of lines grows 20% beyond the value specified by
|
||||
<code class="literal">programs.zsh.history.save</code>.</p>
|
||||
|
||||
<p><span class="emphasis"><em>Type:</em></span>
|
||||
boolean</p>
|
||||
|
||||
<p><span class="emphasis"><em>Default:</em></span>
|
||||
<code class="literal">false</code></p>
|
||||
|
||||
<p><span class="emphasis"><em>Declared by:</em></span></p>
|
||||
<table border="0" summary="Simple list" class="simplelist">
|
||||
<tr><td>
|
||||
|
|
Loading…
Reference in a new issue