ติดตามเวลาที่คำสั่งใช้ใน UNIX / LINUX?


คำตอบ:


165

ใช่ใช้time <command>เช่น

time ls

ปรึกษาman timeสำหรับตัวเลือกเพิ่มเติม ลิงค์ .


4
และความหมายของเวลาจริง / ผู้ใช้ / sys ถูกกล่าวถึงอย่างดีที่นี่
prideout

คำตอบนี้ไม่ถูกต้องสำหรับผู้ใช้ bash บน linux manpage จัดทำเอกสารคำสั่งเวลา Gnu แต่เวลาเป็นสิ่งที่สร้างขึ้นใน bash ซึ่งไม่มีตัวเลือกทั้งหมดที่บันทึกไว้ที่นั่น
Ben Crowell

7

ใช้

/usr/bin/time 

แทนที่จะเป็นเวลาที่อยู่ในทุบตี: เป็น AFAIK ที่กำหนดค่าได้มากกว่า

e.g. /usr/bin/time --format=' \n---- \nelapsed time is %e'ls

เท่าที่ฉันสามารถบอกได้นี่เป็นค่าเริ่มต้น นี่เป็นกรณีของระบบ CentOS 6, CentOS 7 และ Debian 8 ที่ฉันตรวจสอบ: user@host:~$ which time /usr/bin/time ดูเหมือนว่าจะเป็นเวอร์ชัน 1.7 ของเวลา GNU
Toby

4
@Toby: แม้ว่า "ซึ่ง" จะบอกว่าเป็น / usr / bin / time ใน bash สิ่งที่ builtin จะแทนที่สิ่งนั้น ถ้าฉันทำtime -f "\t%E real" lsในทุบตีฉันได้รับข้อผิดพลาด /usr/bin/time -f "\t%E real" lsแต่มันทำงานถ้าฉันทำ
Ben Crowell

1
คุณถูก. ที่น่าสนใจและให้ความกระจ่าง ขอบคุณ!
Toby

1
อย่าใช้which. ใช้type -a:$ which time /usr/bin/time $ type -a time time is a shell keyword time is /usr/bin/time
Daniel-Dane

โปรดทราบว่าการใช้/usr/bin/timeป้องกันไม่ให้คุณใช้นามแฝง bash builtin ทุบตีtimeเป็นสิ่งจำเป็นสำหรับที่อื่น ๆ cannot run my_alias: No such file or directoryที่คุณจะได้รับข้อผิดพลาด
Jamie S

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.