Por que a coluna de duração em .zsh_history geralmente é 0, embora o comando "history -D" a exiba?

Eu tive a mesma pergunta depois de responder sua pergunta anterior, quando analisei minha própria configuração. Ao responder sua pergunta anterior, eu estava usando uma zshsessão shell com as configurações padrão e olhei o arquivo de histórico após ativar o EXTENDED_HISTORY. Pude ver a duração sendo gravada corretamente após o encerramento da sessão do shell (que é quando o histórico da memória é gravado no $HISTFILEarquivo por padrão). No meu próprio $HISTFILEarquivo, porém, notei que as durações eram todas zero, embora eu usasse EXTENDED_HISTORY.

Depois de consultar a zsh-userslista de discussão, descobri que, como também uso a SHARE_HISTORYopção shell (para compartilhar o mesmo histórico de comandos entre várias sessões simultâneas do shell), a duração não é gravada no arquivo de histórico. Isso ocorre porque a SHARE_HISTORYopção faz com que o evento do histórico seja gravado na execução do comando, e não no término do comando ou da sessão do shell, quando a duração está disponível. Esse comportamento é semelhante à ativação INC_APPEND_HISTORY, mas também lê novos comandos de outras sessões no histórico do shell atual.

No entanto, existe outra opção de shell INC_APPEND_HISTORY_TIME(observe o final _TIME), que é incompatível com SHARE_HISTORYe INC_APPEND_HISTORY, que anexa os eventos do histórico ao arquivo da maneira que esperamos, após o término de um comando.

O zshoptions(1)manual diz o seguinte:

INC_APPEND_HISTORY_TIME
Esta opção é uma variante em INC_APPEND_HISTORYque, sempre que possível, a entrada do histórico é gravada no arquivo após a conclusão do comando, para que o tempo gasto pelo comando seja registrado corretamente no arquivo de histórico em formato EXTENDED_HISTORY . Isso significa que a entrada do histórico não estará disponível imediatamente em outras instâncias do shell que estejam usando o mesmo arquivo de histórico.

Esta opção só é útil se INC_APPEND_HISTORYe SHARE_HISTORYestiver desativado. As três opções devem ser consideradas mutuamente exclusivas.

Se você quiser usar INC_APPEND_HISTORY_TIMEe ainda poder compartilhar o histórico entre várias sessões simultâneas de shell, a documentação da SHARE_HISTORYopção sugere usar fc -RIem um shell para ler os eventos de outros shells quando estes forem necessários:

Se você achar que deseja mais controle sobre quando os comandos são importados, você pode desligar SHARE_HISTORYou INC_APPEND_HISTORY( INC_APPEND_HISTORY_TIMEveja acima) ligar e importar manualmente os comandos sempre que precisar deles usando fc -RI.

A diferença entre a saída history -De o conteúdo de $HISTFILEse deve ao fato de o primeiro mostrar os eventos do histórico na memória e o último conter os eventos do histórico gravados no arquivo de histórico. O que é gravado no arquivo de histórico (e quando) depende de várias opções do shell, que, neste ponto (após a exposição acima), são esperançosamente evidentes.