1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2025-01-30 21:05:02 +01:00

zsh: added HIST_SAVE_NO_DUPS and HIST_FIND_NO_DUPS options to zsh for history configuration. (#6227)

Co-authored-by: Maximilian Füsslin <mfuesslin@gmail.com>
This commit is contained in:
Maximilian Füsslin 2025-01-29 23:31:45 +01:00 committed by GitHub
parent 6aa38ffdf7
commit 79eff1f6b9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -104,6 +104,23 @@ let
''; '';
}; };
saveNoDups = mkOption {
type = types.bool;
default = false;
description = ''
Do not write duplicate entries into the history file.
'';
};
findNoDups = mkOption {
type = types.bool;
default = false;
description = ''
Do not display a line previously found in the history
file.
'';
};
ignoreSpace = mkOption { ignoreSpace = mkOption {
type = types.bool; type = types.bool;
default = true; default = true;
@ -693,6 +710,8 @@ in
${if cfg.history.append then "setopt" else "unsetopt"} APPEND_HISTORY ${if cfg.history.append then "setopt" else "unsetopt"} APPEND_HISTORY
${if cfg.history.ignoreDups then "setopt" else "unsetopt"} HIST_IGNORE_DUPS ${if cfg.history.ignoreDups then "setopt" else "unsetopt"} HIST_IGNORE_DUPS
${if cfg.history.ignoreAllDups then "setopt" else "unsetopt"} HIST_IGNORE_ALL_DUPS ${if cfg.history.ignoreAllDups then "setopt" else "unsetopt"} HIST_IGNORE_ALL_DUPS
${if cfg.history.saveNoDups then "setopt" else "unsetopt"} HIST_SAVE_NO_DUPS
${if cfg.history.findNoDups then "setopt" else "unsetopt"} HIST_FIND_NO_DUPS
${if cfg.history.ignoreSpace then "setopt" else "unsetopt"} HIST_IGNORE_SPACE ${if cfg.history.ignoreSpace then "setopt" else "unsetopt"} HIST_IGNORE_SPACE
${if cfg.history.expireDuplicatesFirst then "setopt" else "unsetopt"} HIST_EXPIRE_DUPS_FIRST ${if cfg.history.expireDuplicatesFirst then "setopt" else "unsetopt"} HIST_EXPIRE_DUPS_FIRST
${if cfg.history.share then "setopt" else "unsetopt"} SHARE_HISTORY ${if cfg.history.share then "setopt" else "unsetopt"} SHARE_HISTORY