bash time with nohup

Question

Eu quero saber quanto tempo demora para executar algo no nohup. Eu sei que isso funciona:

$ time sleep 2

real    0m2.001s
user    0m0.000s
sys     0m0.001s

Mas por que não funciona com nohup?

$ nohup time sleep 2 &
[1] 29456
$ nohup: ignoring input and appending output to 'nohup.out'
nohup: failed to run command 'time': No such file or directory

[1]+  Exit 127                nohup time sleep 2

    

Answer 1

Não funciona porque time é uma palavra-chave do shell. Existem binários time externos, mas você não parece ter um instalado. Isso provavelmente funcionará:

nohup bash -c 'time sleep 2'