Re: problema con comando time

[Piviul <piviul@riminilug.it>]

Gabriele 'LightKnight' Stilli scrisse in data 05/04/2011 19:12:
> In questo modo, tu stai chiamando il comando "time" incorporato in
> bash, che giustamente non ha un'opzione "--version". Prova con:
>
> $ /usr/bin/time --version
>   
E perché which time risponde /usr/bin/time?
> $ which time
> /usr/bin/time

...così per curiosità.

Ciao

Piviul