1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-01 00:39:45 +01:00

zsh: add extended, expireDuplicatesFirst history options

This commit is contained in:
Mats Rauhala 2018-06-06 23:32:46 +03:00 committed by Robert Helgesson
parent 53f10f4d46
commit 06a984e4ff
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -50,6 +50,18 @@ let
'';
};
expireDuplicatesFirst = mkOption {
type = types.bool;
default = false;
description = "Expire duplicates first";
};
extended = mkOption {
type = types.bool;
default = false;
description = "Save timestamp into the history file";
};
share = mkOption {
type = types.bool;
default = true;
@ -333,7 +345,9 @@ in
setopt HIST_FCNTL_LOCK
${if cfg.history.ignoreDups then "setopt" else "unsetopt"} HIST_IGNORE_DUPS
${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.extended then "setopt" else "unsetopt"} EXTENDED_HISTORY
${cfg.initExtra}