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 : > 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? >
