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!