diff options
author | Hugues Hiegel <hugues.hiegel@qosmos.com> | 2011-12-08 12:38:25 +0100 |
---|---|---|
committer | Hugues Hiegel <hugues.hiegel@qosmos.com> | 2011-12-12 17:50:24 +0100 |
commit | d240548fcd480f4d4f02753f4d8ce060d11be70f (patch) | |
tree | dce7b845a0af75a01eb347ed79b43fc19197ae50 | |
parent | aff013430e60b5f20ece4cb43bf8eb9620e53fc4 (diff) |
History.
-rw-r--r-- | 10_Environment.zsh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/10_Environment.zsh b/10_Environment.zsh index a64c5e3..090b38a 100644 --- a/10_Environment.zsh +++ b/10_Environment.zsh @@ -62,9 +62,15 @@ typeset -gU PATH MANPATH INFOPATH PKG_CONFIG_PATH LD_LIBRARY_PATH ## Gestion de l'historique # Voir le fichier d'Options pour plus de contrôle là-dessus -HISTFILE=$ZDOTDIR/.history.$USER.$HOST # Pour éviter les conflits de conf -HISTSIZE=42000 +if [ -w $ZDOTDIR ] +then + HISTFILE=$ZDOTDIR/.history.$USER.$HOST # Pour éviter les conflits de conf +else + HISTFILE=~$USER/.zsh.history.$HOST +fi + SAVEHIST=42000 +HISTSIZE=$(( $SAVEHIST * 1.10 )) export GPG_TTY=`tty` |