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

bash time

— BartBiczBoży
source

Réponses:

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'

— jordanm
source

Droite. Et nous verrons dans "nohup.out" que cela prend un peu plus de 2 secondes.

— glenn jackman

Merci. J'ai installé le temps rpm à la place, mais cela fonctionne aussi maintenant.

— BartBiczBoży

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.