A saída de estatísticas de tempo para execução de comandos

0

Gostaria de perguntar a que pertence a saída de estatísticas de tempo para a execução de comandos (qual descrição do arquivo), pois ela não é 1 (stdout) nem 2 (stderr)!
E por que isso?

#
#
#
# time date 1>/tmp/date_1.out 2>&1

real    0m0.00s
user    0m0.00s
sys     0m0.00s
#
#
#
# cat /tmp/date_1.out
Mon Dec 10 11:20:36 BEIST 2017
#
# 
#
    
por lylklb 11.12.2017 / 04:56

1 resposta

2

Não pertence nem a stdout nem a stderr de date . Pertence ao stderr do time . Observe:

$ ( time date 1>/tmp/date_1.out 2>&1 ) 2>time.out
$ cat time.out

real    0m0.002s
user    0m0.000s
sys     0m0.000s

time executa date 1>/tmp/date_1.out 2>&1 . A saída de time não está sujeita aos redirecionamentos aplicados à saída de date . Isso é possível porque time não é um comando normal: time é uma palavra-chave do shell:

$ type time
time is a shell keyword

Assim, consegue jogar por regras diferentes.

    
por 11.12.2017 / 05:14

Tags