Apakah ada yang tahu cara menempatkan perintah 'waktu' sebelum setiap perintah dalam sesi bash?
command-line
bash
shell
jthoenes
sumber
sumber
Jawaban:
Maaf untuk jawaban yang salah sebelumnya, saya salah mengerti pertanyaan Anda.
Agar waktu ditambahkan sebelum setiap perintah yang Anda jalankan di shell, Anda dapat melakukan sesuatu seperti ini
Ini akan mengubah kunci kembali. Sekarang setiap kali Anda menekan balik alih-alih menulis baris baru \ n itu akan pergi ke awal baris, masukkan teks 'waktu' dan spasi, pergi ke akhir baris dan masukkan baris baru \ n sehingga menghasilkan baris yang diinginkan sehingga menghasilkan yang diinginkan efek.
Jika Anda tidak ingin mengorbankan Enter Key Anda, Anda bisa membuat benchmark-enter Key 'kedua' seperti F12 dengan mengikat perintah seperti ini
Sekarang alih-alih mengganti kunci kembali yang Anda ikat F12.
Latar belakang dari semua ini adalah bahwa bash menggunakan GNU readline untuk membaca perintah. Jadi readline akan menjadi titik awal yang baik untuk manipulasi perintah lebih lanjut, dll.
sumber
Saya menyadari bahwa ini di luar ruang lingkup pertanyaan ini tetapi ...
Di
zsh
(yang, setahu saya set super bash) jika Anda menetapkan variabel berikut dalam.zshrc
file Anda :Setiap perintah yang membutuhkan waktu lebih dari 5 detik (saya cukup yakin) akan menampilkan output dari
time
. Semua perintah yang selesai lebih cepat tidak. Dan dalam kasus-kasus itu seseorang tidak terlalu peduli, jadi senang tidak mengacaukan segalanya. Ada juga banyak fitur keren lainnyazsh
yang bisa Anda nikmati saat melakukannya.sumber
Sertakan \ t dalam string prompt Anda. Ini akan mencakup waktu di prompt Anda pada titik di mana Anda memasukkannya. Lihat: http://www.ibm.com/developerworks/linux/library/l-tip-prompt/
sumber
PS1 sepertinya cara standar untuk melakukan sesuatu seperti ini.
sumber
time
dilakukan (ini mengukur berapa lama waktu yang diperlukan untuk menjalankan suatu perintah).