我想在bash脚本中使用time命令来计算脚本的运行时间并将其写入日志文件.我只需要实时,而不是用户和系统.还需要一个体面的格式.例如00:00:00:00(不像标准输出)我很感激任何建议.
期望的格式应该是00:00:00.0000(毫秒)[小时]:[分钟]:[秒].[毫秒]
我已经有3个脚本了.我看到了这样一个例子:
{ time { # section code goes here } } 2> timing.log
但我只需要实时,而不是用户和系统.还需要一个体面的格式.例如00:00:00:00(不像标准输出).
换句话说,我想知道如何将时间输出变成更容易处理的东西.