Merge pull request #1810 from native-api/ps4

Use a better PS4 as recommeneded by Bash Hackers Wiki
This commit is contained in:
Anton Petrov 2021-02-12 14:33:11 +03:00 committed by GitHub
commit a0b02db770
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,7 +7,8 @@ if [ "$1" = "--debug" ]; then
fi fi
if [ -n "$PYENV_DEBUG" ]; then if [ -n "$PYENV_DEBUG" ]; then
export PS4='+ [${BASH_SOURCE##*/}:${LINENO}] ' # https://wiki-dev.bash-hackers.org/scripting/debuggingtips#making_xtrace_more_useful
export PS4='+(${BASH_SOURCE}:${LINENO}): ${FUNCNAME[0]:+${FUNCNAME[0]}(): }'
set -x set -x
fi fi