Script de Bash de tiempo de perfil
set +x
exec 2>&3 3>&-
Wrong Weevil
set +x
exec 2>&3 3>&-
PS4='+ $(date "+%s.%N")\011 '
exec 3>&2 2>/tmp/bashstart.$$.log
set -x