Man pages for pipetime
Tools to Time Pipe Operations

get_logRetrieve a timing log (or all logs)
rm_logRemove a timing log (or all logs)
time_pipeMeasure execution time in a pipeline
pipetime documentation built on Nov. 5, 2025, 5:40 p.m.