time
There are two kinds of time command:
- Shell builtin
timecommand - External command
/usr/bin/time, which is more powerful.
# statistics of process run
/usr/bin/time -v <cmd>
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
There are two kinds of time command:
time command/usr/bin/time, which is more powerful.# statistics of process run
/usr/bin/time -v <cmd>