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

Re: time(1) has no effect when used on a built-in

X-seq: zsh-workers 53929
From: Lawrence Velázquez <larryv@xxxxxxx>
To: avidseeker@xxxxxxxxxxx
Cc: zsh-workers@xxxxxxx
Subject: Re: time(1) has no effect when used on a built-in
Date: Thu, 04 Sep 2025 16:47:59 -0400
Archived-at: <https://zsh.org/workers/53929>
Feedback-id: iaa214773:Fastmail
In-reply-to: <d94052310d8a8ef32de7df696b5a59e3@disroot.org>
List-id: <zsh-workers.zsh.org>
References: <d94052310d8a8ef32de7df696b5a59e3@disroot.org>

On Thu, Sep 4, 2025, at 3:53 PM, avidseeker wrote:
> Not sure if this is intentional, but looks like a bug.

See also:

https://www.zsh.org/mla/users/2023/msg00127.html
https://www.zsh.org/mla/workers/2024/msg00597.html

Timing built-ins was implemented on the master branch during the
latter thread.

-- 
vq

Follow-Ups:
- Re: time(1) has no effect when used on a built-in
  - From: Vincent Lefevre

References:
- time(1) has no effect when used on a built-in
  - From: avidseeker

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