bagaimana cara mengatur waktu proses di bash? [duplikat]

Jawaban:

18

Cara termudah adalah menggunakan terintegrasi bashtime , Waktu GNU atau timeimplementasi perintah unix lainnya :

time ./sript.sh

Jika Anda tertarik dengan kutu, Anda dapat memperkirakannya dengan sedikit bantuan /proc/cpuinfo.

Jika Anda ingin menggali lebih dalam, lihatlah strace.

mbx
sumber
2
time is a shell keyword
Hello71
1
@ Hello71 linux saya bashtidak menyediakan perintah waktu, ia menggunakan /usr/bin/time. Namun zsh, serta solaris saya tcsh. Jadi, bahkan jika itu tidak dibangun di shell Anda, Anda memiliki waktu yang disediakan oleh pengguna Anda sebagai cadangan. Selain itu, perintah waktu tersebut dapat memberikan output yang sedikit berbeda.
mbx
@ Hello71 walaupun sudah dipesan, pada itu ystem which timemengembalikan waktu pengguna alih-alih peringatan kata kunci yang dicadangkan
mbx
@ MBX: whichtidak pernah melakukan itu. Saya mengacu type.
Hello71
4

timedapat mencapai ini. Pada kasus ini:

$ time foo.sh             
JK
sumber