Closed deimosfr closed 10 years ago
Time seems to be installed via a package on my Debian machine.
mazzika:~$ which time
/usr/bin/time
mazzika:~$ dpkg -S /usr/bin/time
time: /usr/bin/time
Is it really necessary to code this as a built-in?
This is not exactly the same result between this command and shell built-in time command, however it's ok for me.
Thanks
Hi,
Could you please add build-in shell like time.
Thanks