O histórico do zsh inclui um registro de data e hora, se o recurso EXTENDED_HISTORY
estiver ativado ou se o recurso SHARE_HISTORY
estiver ativado; no último caso, os timestamps são usados para que vários shells possam ler com precisão o histórico de cada um - eles precisam ler apenas os novos comandos adicionados desde a última vez que leram o arquivo de histórico, e eles podem fazer isso mesmo quando o arquivo de histórico é reescrito.
Esses recursos são ativados ou desativados usando setopt
:
setopt extendedhistory
setopt sharehistory
irá ativá-los, enquanto
setopt noextendedhistory
setopt nosharehistory
irá desativá-los.
Se você quiser manter os históricos compartilhados, será necessário manter os timestamps estendidos (mas não é necessário ativar explicitamente o recurso EXTENDED_HISTORY
; o recurso SHARE_HISTORY
é auto-suficiente).
Note que o histórico estendido diz a você não apenas quando um comando foi executado, mas também quanto tempo demorou para ser executado, o que pode ser útil em alguns casos.
A seção Histórico da documentação tem todos os detalhes.