Re : Re: Pas d'historique de zsh en root
Le vendredi 23 juin 2023 à 09:54, Marc Chantreux <mc@unistra.fr> a écrit :
> salut,
>
>
> Le Fri, Jun 23, 2023 at 06:17:03AM +0000, benoit a écrit :
>
> > Voici mon .zshrc
> > Pourquoi est-ce que je n'ai pas d'historique en root ?
>
>
> pas le temps de plonger dans la doc mais je viens de tester
> ma conf:
>
> HISTSIZE=5000 HISTFILE=~/zsh/history SAVEHIST=5000
> # setopt share_history
Bonjour oui ça marche tout à fait suffisant...
Mais c'est probablement à cause de ce qui suit :
Pare que le nom du fichier HISTFILE=~/zsh/history
ou .zsh_history
ou .sh_history
Pour autant que le nom corresponde dans le .zshrc...
Du coup ça doit être ici que ça se passe :
> setopt INC_APPEND_HISTORY
> setopt EXTENDED_HISTORY
> setopt HIST_IGNORE_SPACE
> setopt HIST_IGNORE_ALL_DUPS
> setopt HIST_FIND_NO_DUPS
> setopt HIST_SAVE_NO_DUPS
>
> je passe root avec doas zsh et ça fonctionne.
>
> est-ce suffisant?
>
Reply to: