diff options
| -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` |