eeva/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 19:49:45 +01:00
Code Issues Releases Wiki Activity

deploy: 15043a6591

Browse source
This commit is contained in:
ncfavier 2023-08-04 10:13:49 +00:00
parent 9c2fdff1ba
commit f1bbd2227f
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
options.html
View file

@ -11145,6 +11145,12 @@ boolean</p><p><span class="emphasis"><em>Default:</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><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/zsh.nix" target="_top">
&lt;home-manager/modules/programs/zsh.nix&gt;
</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.zsh.history.ignoreAllDups"></a><a class="term" href="options.html#opt-programs.zsh.history.ignoreAllDups"><code class="option">programs.zsh.history.ignoreAllDups</code></a></span></dt><dd><p>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).</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><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/zsh.nix" target="_top">
&lt;home-manager/modules/programs/zsh.nix&gt;
</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.zsh.history.ignoreDups"></a><a class="term" href="options.html#opt-programs.zsh.history.ignoreDups"><code class="option">programs.zsh.history.ignoreDups</code></a></span></dt><dd><p>Do not enter command lines into the history list
if they are duplicates of the previous event.</p><p><span class="emphasis"><em>Type:</em></span>
boolean</p><p><span class="emphasis"><em>Default:</em></span>