Skip to content

Instantly share code, notes, and snippets.

@zengjiapei3000
Created December 1, 2023 11:23
Show Gist options
  • Save zengjiapei3000/2cf75877a00bbacefd55b6d767658614 to your computer and use it in GitHub Desktop.
Save zengjiapei3000/2cf75877a00bbacefd55b6d767658614 to your computer and use it in GitHub Desktop.
PS4='+$BASH_SOURCE> ' BASH_XTRACEFD=7 bash -xl 7>&2
## or
PS4='+$BASH_SOURCE> ' BASH_XTRACEFD=7 bash -xl 7>/tmp/$(uuidgen)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment