We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 0603a46 + ea57932 commit 1324426Copy full SHA for 1324426
src/vs/workbench/contrib/terminal/browser/media/shellIntegration-bash.sh
@@ -217,7 +217,7 @@ __vsc_precmd() {
217
218
__vsc_preexec() {
219
__vsc_initialized=1
220
- if [[ ! "$BASH_COMMAND" =~ ^__vsc_prompt* ]]; then
+ if [[ ! $BASH_COMMAND == __vsc_prompt* ]]; then
221
# Use history if it's available to verify the command as BASH_COMMAND comes in with aliases
222
# resolved
223
if [ "$__vsc_history_verify" = "1" ]; then
0 commit comments