The GNU 'time' Command ********************** This file documents the the GNU 'time' command for running programs and summarizing the system resources they use. This is edition 1.7, for version 1.7.