• [^] # Re: 2-3 petites choses...

    Posté par . En réponse au journal Il n'y a que moi que ça énerve ?. Évalué à 1.

    Ça marche toujours. Je viens de regarder ma conf' toutes les options que j'ai pour l'historique sont :

    # Pour avoir le même historique dans tous les shells
setopt INC_APPEND_HISTORY SHARE_HISTORY
# Mode verbose (date, ...) ; incompatible avec les autres shells
setopt EXTENDED_HISTORY
unsetopt HIST_VERIFY # Supprime la vérification lors de l'usage de "!cmd"
# Supprime les répétitions dans le fichier d'historique, ne conservant
# que la dernière occurrence ajoutée
setopt HIST_IGNORE_ALL_DUPS
# La recherche dans l'historique avec l'éditeur de commandes de zsh ne
# montre pas une même ligne plus d'une fois, même si elle a été
# enregistrée
setopt HIST_FIND_NO_DUPS

    Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)