Arch Linux

neutronst4r

Member

Registered: 2016-02-25

Posts: 31

[Solved] Where is the 'time' binary?

I have found some posts about this and the manual of time even gives a warning, that shell applications often have their own implementation of time. In that case I should call the original applications directly like this:

$ /usr/bin/time

However... it doesn't exit. I tried to find it with:

$ which time

in different shells. zsh gives a warning, that the name is reserved, but even use other shells and if I ls and grep the folder in my PATH, I can't find it, even though there is a manual entry for it:

$ man time

How do I find it?

Last edited by neutronst4r (2018-06-12 06:13:10)

---

makepkg not war

V1del

Forum Moderator

Registered: 2012-10-16

Posts: 21,650

Re: [Solved] Where is the 'time' binary?

https://wiki.archlinux.org/index.php/Pa … cific_file

arojas

Developer

From: Spain

Registered: 2011-10-09

Posts: 2,097

Re: [Solved] Where is the 'time' binary?

'time' is a shell builtin command, not a standalone executable.

progandy

Member

Registered: 2012-05-17

Posts: 5,190

Re: [Solved] Where is the 'time' binary?

If you really want the gnu implementation you can create a PKGBUILD for it:
https://www.gnu.org/software/time/

Already in the repository... Why did I miss it on my first search?

Last edited by progandy (2018-06-11 19:52:45)

---

| alias CUTF='LANG=en_XX.UTF-8@POSIX ' |

V1del

Forum Moderator

Registered: 2012-10-16

Posts: 21,650

Re: [Solved] Where is the 'time' binary?

It does exist as a standalone utility though

neutronst4r

Member

Registered: 2016-02-25

Posts: 31

Re: [Solved] Where is the 'time' binary?

Oh, sorry. I thought I must already have it installed, because there was a manual entry for it.

Thank you for your help.

---

makepkg not war

V1del

Forum Moderator

Registered: 2012-10-16

Posts: 21,650

Re: [Solved] Where is the 'time' binary?

Many manual pages for "general" utilities like these are in the man-pages package as opposed to the specific utility. Especially as here the time command exists in various forms as noted. Also AFAIK the actual GNU utilities rather use info files as opposed to manpages so the man pages might actually come from different non-upstream sources.