A prettier version of the well-known time
command.
Running with -p
gives POSIX-compatible output, and -g
gives GNU time
compatible output. Running without flags gives the pretty new output
format. You can also use -d <delimiter>
to produce machine-readable
CSV-like output.
Here's what it looks like: