Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Timing function execution

X-seq: zsh-users 27309
From: Zach Riggle <zachriggle@xxxxxxxxx>
To: Zsh Users <zsh-users@xxxxxxx>
Subject: Timing function execution
Date: Sat, 6 Nov 2021 07:11:25 -0500
Archived-at: <https://zsh.org/users/27309>
List-id: <zsh-users.zsh.org>

Hello again, all!

It looks like "time" is a reserved keyword, but it is not possible to use "time" on shell functions (and /usr/bin/time cannot be used for obvious reasons).

What is the appropriate way to benchmark / log the execution time of a function?

$ which -a time
time: shell reserved word
/usr/bin/time

$ foo() { sleep 1; echo hello }

$ foo
hello

$ time foo
hello

Zach Riggle

Follow-Ups:
- Re: Timing function execution
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author