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 <[email protected]>ha scritto: > L'hai ridefinito in .bashrc? > Il giorno 05/apr/2011 18.37, "Fabio Dellacorte" < > [email protected]> 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 > >
