On Tue, Aug 03, 2004 at 05:34:50PM +0200, Alberto Maurizi wrote:
>
> Ho un problema col comando time:
se ne e' parlato non piu' di un mese fa:
Users of the bash shell need to use an explicit path in order to
run the external time command and not the shell builtin variant. On
system where time is installed in /usr/bin, the first example would
become
/usr/bin/time wc /etc/hosts
sempre da `man time`
--
mattia
:wq!