Jawaban:
Anda menyerukan bash built-in versi time
, yang memiliki perilaku dan pilihan yang sedikit berbeda - yang dijelaskan dalam bash manual serta help time
.
Gunakan command time ...
untuk memotong built-in dan menjalankan perintah eksternal; atau lari /usr/bin/time ...
langsung.
type
Fungsi bawaan Bash akan menunjukkan yang akan Anda jalankan - mis type time
. Tambahkan -a
opsi untuk menampilkan semua -type -a time