📜  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