Time (Unix): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Addbot (discussione | contributi)
m migrazione automatica di 15 collegamenti interwiki a Wikidata, d:q284081
FrescoBot (discussione | contributi)
m Bot: overlinking giorni e mesi dell'anno e modifiche minori
Riga 19:
|opera=The Open Group Base Specifications Issue 6 IEEE Std 1003.1, 2004 Edition
|lingua=en
}}</ref> che ritorna la data e ora correnti come numero di [[secondi]] trascorsi rispetto alla [[mezzanotte]] ([[UTC]]) del [[1º gennaio]] [[1970]] (data detta ''epoca''), secondo la consueta rappresentazione del [[Tempo (Unix)|tempo]] nei sistemi Unix.
 
Notare che il comando ''time'' non usa l'omonima chiamata di sistema, ma usa invece la chiamata di sistema ''[[Times (Unix)|times]]''.
Riga 36:
Esegue il comando <tt>sort -n file.txt &gt; file_ordinato.txt</tt> mostrando il tempo impiegato:
$ '''time sort file.txt &gt; file_ordinato.txt'''
 
real 0m0.507s
user 0m0.492s
Riga 43:
Come sopra, ma visualizza i tempi usando un formato standard:
$ '''time -p sort file.txt &gt; file_ordinato.txt'''
 
real 0.51
user 0.49