no time(1) options / man page need update

[Karol Kwiatkowski]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
Url : http://lists.freebsd.org/pipermail/freebsd-stable/attachments/20060221/489c977e/signature.bin