📜  profile time bash script - C 编程语言代码示例
📅  最后修改于: 2022-03-11 15:04:36.530000             🧑  作者: Mango
代码示例2
PS4='+ $(date "+%s.%N")\011 '
exec 3>&2 2>/tmp/bashstart.$$.log
set -x