diff options
| author | Hugues Hiegel <hugues@hiegel.fr> | 2009-01-08 11:56:20 +0100 |
|---|---|---|
| committer | Hugues Hiegel <hugues@hiegel.fr> | 2009-01-08 11:56:20 +0100 |
| commit | 045f51bdedf22f0998d8173d6524660043de4164 (patch) | |
| tree | e97351923a4c3f8a8abe721ac4fe8b7bf4c23f31 /20_Options.zsh | |
| parent | 496fca4fed8c8ead99a31821195cf32609f000fb (diff) | |
[OPTIONS] Historique : infos étendues pour avoir la date et le temps d'exécution des commandes...
Diffstat (limited to '20_Options.zsh')
| -rw-r--r-- | 20_Options.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/20_Options.zsh b/20_Options.zsh index f694bdf..0ac3b5d 100644 --- a/20_Options.zsh +++ b/20_Options.zsh @@ -54,7 +54,7 @@ setopt Hash_Cmds setopt Hash_Dirs ## Gestion de l'historique -unsetopt Extended_History +setopt Extended_History setopt Hist_Expire_Dups_First setopt Hist_Ignore_All_Dups setopt Hist_Ignore_Space |