From cab3950762f770f295d6a623d20aab9388bfc7ad Mon Sep 17 00:00:00 2001 From: "Justin M. Keyes" Date: Tue, 11 Mar 2025 22:34:11 +0100 Subject: [PATCH] docs: OSC 133 The "end" termcode is not actually needed for our purposes. And the suggested $PS1 has trouble with bash's "reverse find" (CTRL-r) feature, probably because I did it wrong... --- runtime/doc/terminal.txt | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/runtime/doc/terminal.txt b/runtime/doc/terminal.txt index ea8a1c2565..10fa40cf54 100644 --- a/runtime/doc/terminal.txt +++ b/runtime/doc/terminal.txt @@ -200,13 +200,10 @@ doesn't interfere). - kitty: https://sw.kovidgoyal.net/kitty/shell-integration/ - vscode: https://code.visualstudio.com/docs/terminal/shell-integration -To configure bash to mark the start/end of each prompt, set $PROMPT_COMMAND -and $PS1 as follows: >bash +To configure bash to mark the start of each prompt, set $PROMPT_COMMAND: >bash # Prompt start: PROMPT_COMMAND='printf "\033]133;A\007"' - # Prompt end: - PS1="$PS1"'\033]133;B\007' < *terminal_]]* *terminal_[[* The |]]| and |[[| motions jump to the next/previous prompts, if your shell