A modified version of GNU time that supports option to pass in STDIN, STDERR, and STDOUT to the command. It also supports option to provide a timeout duration for the command.
Primary LanguageCGNU General Public License v3.0GPL-3.0