[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: problema con il comando "time": builtin o /usr/bin/time?

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
             /usr/bin/time wc /etc/hosts

sempre da `man time`


Reply to: