-
-
Notifications
You must be signed in to change notification settings - Fork 86
Questions for bug reports
Koichi Murase edited this page Jul 4, 2022
·
2 revisions
Is the problem reproduced with an empty PROMPT_COMMAND
?
$ PROMPT_COMMAND=()
$ # <-- Is the problem reproduced after the above command?
Is the problem reproduced with empty prompts?
$ PROMPT_COMMAND=()
$ PS0= PS1=
$ # <-- Is the problem reproduced after the above commands?
Is the problem reproduced with non-login shell?
$ bash # <-- This command starts a new non-login Bash session.
$ (load ble.sh if it is not loaded by default)
$ # <-- Is the problem reproduced in the non-login shell?
Is the problem reproduced without your .bashrc
?
$ cp ~/.bash_history ~/.bash_history.bk # <- Please back up your history file. If you set HISTFILE,
# back up "$HISTFILE" instead of ~/.bash_history
$ PS1='$ ' bash --norc # <- This starts a Bash session without your .bashrc
$ source /path/to/ble.sh # <- Load ble.sh (replace "/path/to" with the location of your "ble.sh" file)
$ # <- Is the problem reproduced hereafter?
After the testing session is closed, you may optionally recover the original history file:
$ cp ~/.bash_history.bk ~/.bash_history
Is the problem reproduced with the plain Bash + ble.sh
?
$ cp ~/.bash_history ~/.bash_history.bk # <- Please back up your history file. If you set HISTFILE,
# back up "$HISTFILE" instead of ~/.bash_history
$ PS1='$ ' INPUTRC=/dev/null bash --norc --noprofile # <- This starts a plain Bash session
$ source /path/to/ble.sh # <- Load ble.sh (replace "/path/to" with the location of your "ble.sh" file)
$ # <- Is the problem reproduced hereafter?
After the testing session is closed, you may optionally recover the original history file:
$ cp ~/.bash_history.bk ~/.bash_history
Can you identify which part of your .bashrc
causes the error?
If you don't know how to identify it, and you are fine with sharing your .bashrc, maybe you can instead paste your .bashrc (in that case, please replace your personal information that you don't want to share such as the username, server name, etc., if any).