mirror of
https://github.com/nix-community/home-manager
synced 2024-11-30 06:59:45 +01:00
deploy: 0cf552f39f
This commit is contained in:
parent
2270ca3b49
commit
a4de68e3e5
1 changed files with 1 additions and 1 deletions
|
@ -13977,7 +13977,7 @@ strings concatenated with “\n”</p>
|
|||
<p>Controlling how commands are saved on the history list.</p>
|
||||
|
||||
<p><span class="emphasis"><em>Type:</em></span>
|
||||
list of (one of “erasedups”, “ignoredups”, “ignorespace”)</p>
|
||||
list of (one of “erasedups”, “ignoredups”, “ignorespace”, “ignoreboth”)</p>
|
||||
|
||||
<p><span class="emphasis"><em>Default:</em></span>
|
||||
<code class="literal">[ ]</code></p>
|
||||
|
|
Loading…
Reference in a new issue