Change the output format of zsh's time

Posted by YGA on Super User See other posts from Super User or by YGA
Published on 2009-11-17T21:37:46Z Indexed on 2010/05/17 13:21 UTC
Read the original article Hit count: 316

Filed under:

zsh

|

time

Hi Folks,

I've just switched to zsh. However, I really don't like how the time builtin command also outputs the command that it's timing. I much prefer the bash style output. Anyone know how to switch it over?

Zsh:

[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

Bash:

[casqa1:~/temp]$ bash
casqa1.nyc:~/temp> time grep foo /dev/null

real        0.0
user        0.0
sys         0.0

Thanks,

/YGA

© Super User or respective owner

Related posts about zsh

Is fish or zsh better for shell programming?

as seen on Super User - Search for 'Super User'
I'm a bash user willing to switch to a more friendly and advanced shell. I read a lot of good things about zsh, but I gave a quick test at fish and it seems great too. Both seem very close in term of features, what is your opinion about those two shells especially as regards shell programming? >>> More
Default shell for running scripts (w/o shebang) in macos?

as seen on Super User - Search for 'Super User'
I have ZSH as default shell in MacOS, everything is working fine. ZSH is installed as brew package, Ive set default shell in my account, new shell is listed in /etc/shells... everything is set, like I've said. I have some shell scripts in which I use some commands from zsh, like print. When I execute… >>> More
To get a prompt which indicates Git-branch in Zsh

as seen on Stack Overflow - Search for 'Stack Overflow'
I run the following codes separately as my prompt unsuccessfully in .zshrc. This suggests me that apparently I do not have a program called __git_ps1. It is not in MacPorts. #1 PROMPT="$(__git_ps1 " \[\033[1;32m\] (%s)\[\033[0m\]")\$"$ #2 PROMPT="$(__git_ps1 " (%s)")\$"$ #3 # Get the… >>> More
What are the differences between fish and zsh ?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a bash user willing to switch to a more friendly and advanced shell. I read a lot of good things about zsh, but I gave a quick test at fish and it seems great too. Both seem very close in term of features, what is your opinion about those two shells ? >>> More
zsh make **/*.cpp **/*.cxx **/*.hpp not result in error

as seen on Stack Overflow - Search for 'Stack Overflow'
I have "v" aliased to "vim */.cpp */.hpp */.cxx" Problem is, if I'm in a directory without any .cxx files, zsh treats this as an error. Is there anyway to tell zsh to create the absence of */*.cxx files as "" instead of an error? >>> More

Related posts about time

monkey patching time.time() in python

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello guys, I've an application where, for testing, I need to replace the time.time() call with a specific timestamp, I've done that in the past using ruby (code available here: http://github.com/zemariamm/Back-to-Future/blob/master/back_to_future.rb ) However I do not know how to do this using… >>> More
Get time zone or local time from cell tower (GPRS)

as seen on Stack Overflow - Search for 'Stack Overflow'
I have been asked to set the system time of a Windows Mobile 6.0 handheld to the "local time." The local time in this case means the current time of the time zone the handheld is physically located in. Is there a way to request the local time from the GPRS cell tower? >>> More
jQuery Time Entry with Time Navigation Keys

as seen on West-Wind - Search for 'West-Wind'
So, how do you display time values in your Web applications? Displaying date AND time values in applications is lot less standardized than date display only. While date input has become fairly universal with various date picker controls available, time entry continues to be a bit of a non-standardized… >>> More
Time Warp

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
It’s no secret that daylight savings time can wreak havoc on systems that rely heavily on dates. The system I work on is centered around recording dates and times, so naturally my co-workers and I have seen our fair share of date-related bugs. From time to time, however, we come across something that… >>> More
ffmpeg - How to determine if -movflags faststart is enabled? PHP

as seen on Stack Overflow - Search for 'Stack Overflow'
While I am able to encode an mp4 file which I can plan on my local windows machine, I am having trouble encoding files to mp4 which are readable when streaming by safari, etc. After a bit of reading, I believe my issue is that I must move the metadata from the end of the file to the beginning in… >>> More