2 ms·
You can do all that without modifying the script or using a separate tool: PS4='+ $(date --iso-8601)\011 ' bash -x example.sh
by kstrauser 2y ago
You can do all that without modifying the script or using a separate tool:
PS4='+ $(date --iso-8601)\011 ' bash -x example.sh