所以bash的内置时间函数应该以这种格式输出
real 0m0.002s user 0m0.001s sys 0m0.000s
我想以毫秒为单位节省用户时间,比如001什么是干净的方法呢？
regex linux bash time
bash ×1
linux ×1
regex ×1
time ×1