Mengapa `time` tidak ada dalam manual Bash GNU?

[fakename]$ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution...

Dari ini, tampaknya itu timeadalah Bash builtin. Namun, saya tidak dapat menemukan penjelasannya di halaman ini: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . Mengapa demikian?

Ini dijelaskan dalam subbagian "Shell Grammar / Pipelines" dari bash manpage . Itu juga dijelaskan dalam tautan yang Anda berikan di bagian Pipa , di mana diindeks di bawah "Kata-kata Cadangan" .

Jaringan pipa

Pipeline adalah urutan satu atau lebih perintah yang dipisahkan oleh salah satu operator kontrol | atau | &. Format untuk saluran pipa adalah:

[time [-p]] [ ! ] command [ | or |& command2 ... ] 

Output standar dari perintah terhubung melalui pipa ke input standar dari command2. Koneksi ini dilakukan sebelum pengalihan yang ditentukan oleh perintah (lihat REDIRECTION di bawah). Jika | & digunakan, kesalahan standar dari perintah terhubung ke input standar command2 melalui pipa; itu adalah singkatan untuk 2> & 1 |. Pengalihan implisit kesalahan standar ini dilakukan setelah pengalihan yang ditentukan oleh perintah.

Status pengembalian pipa adalah status keluar dari perintah terakhir, kecuali opsi pipefail diaktifkan. Jika pipefail diaktifkan, status pengembalian pipa adalah nilai dari perintah terakhir (paling kanan) untuk keluar dengan status bukan-nol, atau nol jika semua perintah keluar dengan sukses. Jika kata dilindungi undang-undang! mendahului pipa, status keluar dari pipa itu adalah negasi logis dari status keluar seperti dijelaskan di atas. Shell menunggu semua perintah dalam pipa berakhir sebelum mengembalikan nilai.

Jika kata waktu yang dipesan mendahului pipa, waktu yang telah berlalu serta waktu pengguna dan sistem yang dikonsumsi oleh eksekusi dilaporkan ketika pipa berakhir. Opsi -p mengubah format output ke yang ditentukan oleh POSIX. Variabel TIMEFORMAT dapat diatur ke string format yang menentukan bagaimana informasi waktu harus ditampilkan; lihat deskripsi TIMEFORMAT di bawah Variabel Shell di bawah ini.

Setiap perintah dalam sebuah pipa dieksekusi sebagai proses terpisah (yaitu, dalam subkulit).

Manual Referensi Bash dapat dilihat pada konsol menggunakan info. Kemudian, pengguna dapat mencari kata kunci dalam indeks dengan menekan tombol i, mengetik kata kunci dan menekan tombol Enter. infoakan melompat ke lokasi pertama, di manual, terkait dengan kata kunci. Tekan ,untuk mencapai lokasi lain. Untuk informasi lebih lanjut, baca manual Info GNU, online, atau di konsol menggunakan info info. Memang, hal terpenting untuk menemukan kata kunci dengan cepat, dalam manual, adalah dengan menggunakan indeks yang ada.

Fakta penting tentang masalah ini adalah bahwa time itu bukan builtin tetapi kata atau kata kunci yang dipesan oleh Bash .

# Lihat juga

• Perbedaan antara kata kunci, kata yang dipesan, dan bawaan?
• Mengapa Bash menerapkan waktu sebagai kata yang dipesan dan bukan bawaan?