☰

zsh에서 명령의 실행 시간을 밀리초 단위로 얻는 방법은 무엇입니까?

tag-icon • tag-icon zsh time
zsh에서 명령의 실행 시간을 밀리초 단위로 얻는 방법은 무엇입니까?

유일한 time인쇄 명령은 두 번째 실행입니다.

IPython의 강력한 마법 명령과 같은 timeit솔루션이 있다면 좋을 것입니다 .

답변1

zsh는 변수를 time사용하여 TIMEFMT형식화를 제어합니다.기본적으로, 즉 %J %U user %S system %P cpu %*E total, 다음과 같은 결과를 생성합니다.

$ time sleep 2
sleep 2 0.00s user 0.00s system 0% cpu 2.002 total

이것하다밀리초 정밀도를 생성합니다( 적어도 total.TIMEFMT

보세요매뉴얼 페이지가능한 형식에 대해 알아보세요. 나는 다음을 사용하고 있습니다 ~/.zshrc:

TIMEFMT=$'\n================\nCPU\t%P\nuser\t%*U\nsystem\t%*S\ntotal\t%*E'

다음과 같은 결과가 생성됩니다.

$ time sleep 2 

================
CPU     0%
user    0.003
system  0.000
total   2.006

답변2

기본적으로 ipython timeit매직 명령은 명령문의 여러 실행에 대한 통계 보고서를 인쇄합니다. zsh 예약어는 time명령을 한 번만 실행합니다.

(내장 명령이나 함수가 아닌) 외부 명령의 실행 시간 측정에만 관심이 있는 경우 다음을 사용할 수 있습니다.슈퍼 파인. 명령을 반복하고 일부 통계를 인쇄하는 프로그램입니다.

관련 정보