FG
💻 Software

Change the output format of zsh's time

Fresh7 days ago
Mar 15, 202612531 views
Confidence Score0%
0%

Problem

I've just switched to . However, I really don't like how the builtin command also outputs the command that it's timing. I much prefer the style output. Anyone know how to switch it over? Zsh: Bash: Thanks, /YGA

Error Output

[casqa1:~/temp]$ time grep foo /dev/null
/usr/local/gnu/bin/grep --color -i foo /dev/null  0.00s user 0.00s system 53% cpu 0.004 total

Unverified for your environment

Select your OS to check compatibility.

1 Fix

Canonical Fix
Unverified Fix
New Fix – Awaiting Verification

Fix for: Change the output format of zsh's time

Low Risk

This is fairly close:

Awaiting Verification

Be the first to verify this fix

Sign in to verify this fix

Environment