bash time avec nohup

Je veux savoir combien de temps il faut pour exécuter quelque chose en nohup. Je sais que cela fonctionne:

$ time sleep 2

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

Mais pourquoi ça ne marche pas avec 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

Cela ne fonctionne pas car il times'agit d'un mot clé shell. Il existe des timefichiers binaires externes , mais vous ne semblez pas en avoir installé un. Cela fonctionnera probablement:

nohup bash -c 'time sleep 2'