Formato do time <command>
bash:
$time ./test.sh
real 0m0.000s
user 0m0.006s
sys 0m0.000s
Em zsh:
$time ./test.sh
./test.sh 0.01s user 0.00s system 94% cpu 0.007 total
Isso sempre me incomodou quando mudei para zsh. Como fazer a saída do time
zsh ser como o bash?
A
time
palavra-chave inzsh
produz saída no formato especificado pela variávelTIMEFMT
.O valor padrão desta variável é
Você pode alterar isso assim, por exemplo:
(isso realmente apenas insere alguns caracteres de nova linha na string de formato padrão)
O que dá o seguinte tipo de saída:
Ou, um pouco mais próximo do que
bash
tem:Consulte a documentação da
TIMEFMT
variável nozshparam
manual.No meu sistema (executando o zsh 5.7.1), lê-se