bash time con nohup

Voglio sapere quanto tempo ci vuole per eseguire qualcosa in nohup. So che funziona:

$ time sleep 2

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

Ma perché non funziona con 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

bash time

— BartBiczBoży
fonte

Risposte:

Non funziona perché timeè una parola chiave shell. Esistono file timebinari esterni , ma non sembra averne uno installato. Questo probabilmente funzionerà:

nohup bash -c 'time sleep 2'

— jordanm
fonte

Giusto. E vedremo in "nohup.out" che ci vogliono poco più di 2 secondi.

— Glenn Jackman,

Grazie. Ho invece installato rpm time, ma ora funziona anche.

— BartBiczBoży,

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.