From 045f51bdedf22f0998d8173d6524660043de4164 Mon Sep 17 00:00:00 2001 From: Hugues Hiegel Date: Thu, 8 Jan 2009 11:56:20 +0100 Subject: [OPTIONS] Historique : infos étendues pour avoir la date et le temps d'exécution des commandes... MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 20_Options.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '20_Options.zsh') 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 -- cgit v1.2.3