Hanya sedikit pertanyaan tentang pengaturan waktu program di Linux: perintah waktu memungkinkan untuk mengukur waktu eksekusi suatu program:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Itu bekerja dengan baik. Tetapi jika saya mencoba mengalihkan output ke file, itu gagal.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Saya tahu ada implementasi waktu lain dengan opsi -o untuk menulis file tetapi pertanyaan saya adalah tentang perintah tanpa opsi itu.
Ada saran?