Date: Tue, 21 Feb 2006 14:29:18 +0100 From: Karol Kwiatkowski <freebsd@orchid.homeunix.org> To: Mathieu Prevot <freebsd-stable@club-internet.fr> Cc: freebsd-stable@freebsd.org Subject: Re: no time(1) options / man page need update Message-ID: <43FB15AE.7020206@orchid.homeunix.org> In-Reply-To: <20060221130052.GA1006@scienceclue.ath.cx> References: <20060221121914.GA695@scienceclue.ath.cx> <20060221123858.GB21085@mid.pc5.i.0x5.de> <20060221130052.GA1006@scienceclue.ath.cx>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --]
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
[-- Attachment #2 --]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.1 (FreeBSD)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFD+xW2ezeoPAwGIYsRAol9AKCPM1NsEtYuI6c7jhfYneOTMW4aQACeNRn/
dfn7M63tdZNwuXjjv0LTmAI=
=lma6
-----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?43FB15AE.7020206>