Time (Unix): differenze tra le versioni

Versione delle 14:15, 7 mag 2009

Versione delle 10:40, 27 mag 2009

Riga 42:

Come sopra, ma visualizza i tempi usando un formato standard:

$ '''time -p sort file.txt > file_ordinato.txt'''

real 0.51