Por que o histórico do timestamp zsh? [fechadas]

2

O histórico do zsh inclui um registro de data e hora.

Além de saber quando um comando foi executado, qual é a razão disso? Quais recursos posso perder se desabilitar isso?

    
por ideasman42 21.10.2017 / 13:32

2 respostas

8

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.

    
por 21.10.2017 / 21:08
3

Se bem me lembro, o ZSH usa o registro de data e hora para reorganizar os comandos históricos quando você tem mais de uma sessão aberta.

    
por 21.10.2017 / 14:11