การทำงานกับ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"'บางที?