Date: Tue, 21 Feb 2006 14:00:52 +0100 From: Mathieu Prevot <freebsd-stable@club-internet.fr> To: Nicolas Rachinsky <nicolas@ml.turing-complete.org> Cc: freebsd-stable@freebsd.org Subject: Re: no time(1) options / man page need update Message-ID: <20060221130052.GA1006@scienceclue.ath.cx> In-Reply-To: <20060221123858.GB21085@mid.pc5.i.0x5.de> References: <20060221121914.GA695@scienceclue.ath.cx> <20060221123858.GB21085@mid.pc5.i.0x5.de>
next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Feb 21, 2006 at 01:38:58PM +0100, Nicolas Rachinsky wrote: > * Mathieu Prevot <freebsd-stable@club-internet.fr> [2006-02-21 13:19 +0100]: > > the utility time -- time command execution doesn't work as expected: > > > > time -h ls > > > > give: > > > > -h: Command not found. > > 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 ? Mathieu
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20060221130052.GA1006>