Re: problema con comando time

[Luca Costantino]

L'hai ridefinito in .bashrc?
Il giorno 05/apr/2011 18.37, "Fabio Dellacorte" <iloveyoumarya...@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