Re: problema con comando time

["Alberto Dell'Ariccia" <adellariccia@gmail.com>]

no , mi hanno suggerito nella lista inglese di utilizzare /usr/bin/time ed effettivamente adesso fà quello che glie chiedo . Ma in tutto ciò non ho capito perchè visto che come anticipato non ho ridefinito il comando . A meno che Debian lo ridefinisce di default .

Il giorno 05 aprile 2011 19:02, Luca Costantino <luca.costantino@gmail.com> ha scritto:

L'hai ridefinito in .bashrc?
Il giorno 05/apr/2011 18.37, "Fabio Dellacorte" <iloveyoumaryanna@gmail.com> ha scritto:

>
> Ciao a tutti ,
> vorrei utilizzare le opzioni del comando time ma non ci riesco perchè qualsiasi cosa metto dopo viene interpretato come argomento es. :
>
> $time --version
> bash: --version: command not found
>
>
> Grazie in anticipo per le risposte