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: