การทำงานกับtime
คำสั่งผมมาในสถานการณ์ที่ฉันควรใช้ในตัวมากกว่าคำสั่งเวลาtime
GNU ภายนอก /usr/bin/time
ดังนั้นฉันจะทำสิ่งนี้ได้อย่างไร ฉันเห็นบางที่ใช้enable
และ / หรือcommand
จะช่วย แต่พวกเขาไม่ได้
นี่เป็นกรณีการใช้งาน:
watch "time ls"
ซึ่งใช้/usr/bin/time
คำสั่งภายนอกซึ่งฉันไม่ต้องการ! สิ่งนี้เกิดขึ้นเมื่อtime
เรียกใช้ฟังก์ชันทุบตีภายในเมื่อฉันรันtime ls
บนเทอร์มินัลเช่นนี้
$ time ls
โปรดทราบว่าได้รับคำตอบตรงข้ามแน่นอน:
มีความแตกต่างมากมายกับสองคำสั่ง ภายในtime
มีความแม่นยำมากขึ้น (ซึ่งฉันต้องการ) แต่คำสั่งภายนอกมีตัวเลือกเพิ่มเติม (ซึ่งฉันไม่ต้องการ)
time
ไม่ใช่ builtin ในbash
มันเป็นคำสงวนของภาษาเพื่อให้คุณสามารถกำหนดเวลาไปป์ไลน์ (เช่นtime foo | bar
) หรือคำสั่งผสม (เช่นtime for i in...;done
)
watch 'bash -c "builtin time ls"'
บางที?