Answers for "bash profile show time"

C
0

profile time bash script

PS4='+ $(date "+%s.%N")\011 '
exec 3>&2 2>/tmp/bashstart.$$.log
set -x
Posted by: Guest on June-14-2021
0

profile time bash script

set +x
exec 2>&3 3>&-
Posted by: Guest on June-14-2021

Code answers related to "C"

Browse Popular Code Answers by Language