diff options
| -rw-r--r-- | 10_Environment.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/10_Environment.zsh b/10_Environment.zsh index 99b0d19..ee0a20e 100644 --- a/10_Environment.zsh +++ b/10_Environment.zsh @@ -61,7 +61,7 @@ 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.$HOSTNAME # Pour éviter les conflits de conf +HISTFILE=$ZDOTDIR/.history.$USER.$HOST # Pour éviter les conflits de conf HISTSIZE=42000 SAVEHIST=42000 |