2.1.2. The Linux time command

TODO