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.
typeFungsi bawaan Bash akan menunjukkan yang akan Anda jalankan - mis type time. Tambahkan -aopsi untuk menampilkan semua -type -a time