Il comando time
in Bash viene utilizzato per misurare il tempo di esecuzione di un comando o di uno script. Fornisce informazioni dettagliate sul tempo impiegato, suddividendo il tempo totale in tempo di CPU, tempo di sistema e tempo reale.
La sintassi di base del comando time
è la seguente:
time [opzioni] [argomenti]
Ecco alcune opzioni comuni per il comando time
:
-p
: Stampa il tempo in un formato POSIX semplice.-o <file>
: Scrive l’output del tempo in un file specificato.-v
: Mostra informazioni dettagliate sull’esecuzione del comando.Ecco alcuni esempi pratici dell’uso del comando time
:
Misurare il tempo di esecuzione di un semplice comando sleep
:
time sleep 2
Utilizzare l’opzione -p
per un output semplificato:
time -p ls
Scrivere l’output del tempo in un file:
time -o tempo.txt find / -name "*.txt"
Ottenere informazioni dettagliate sull’esecuzione di un comando:
time -v grep "testo" file.txt
-o
per registrare i tempi di esecuzione in un file per un’analisi successiva.time
con altri comandi per misurare l’efficienza di script complessi.