Le vendredi 23 juin 2023 à 10:44, benoit <benoit...@protonmail.ch> a écrit :
> Le vendredi 23 juin 2023 à 09:54, Marc Chantreux m...@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 : > Je les ai commenté et ça marche plus > > 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 > > C'est "setopt INC_APPEND_HISTORY" qui fait que ça marche, mais je ne l'ai pas, dans le .zshrc de mon utilisateur normal... Enfin tant que ça marche... Merci pour ton aide -- Benoît > > je passe root avec doas zsh et ça fonctionne. > > > > est-ce suffisant?