Mathieu Prevot wrote: > On Tue, Feb 21, 2006 at 01:38:58PM +0100, Nicolas Rachinsky wrote: >> Many shells have a builtin named time. Use 'which time' to verify this. > > Thank you both & sorry. > > Is there a simple way to force using /usr/bin/time instead of builtin time > when I use just time ?
If you're using tcsh shell (root's default) it can be done with alias:
# which time
time: shell built-in command.
# time -h ls
-h: Command not found.
0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
# alias time /usr/bin/time
# which time
time: aliased to /usr/bin/time
# time -h ls
ports standard standard-5.3 standard-5.4
0.01s real 0.00s user 0.00s sys
To make this permanent put 'alias time...' in ~/.cshrc file.
There should be something similar in other shells, too.
Regards,
Karol
--
Karol Kwiatkowski <freebsd at orchid dot homeunix dot org>
GPGKey: http://www.orchid.homeunix.org/carlos/gpg/0x06E09309.asc
signature.asc
Description: OpenPGP digital signature
