Juerd Waalboer 16d530ae16 Allow hook_prompt to mutate the prompt, like before, and use that ... This functionality was accidentally broken by eed0db78 Also: ignore readline terminal sequence (\x01...\x02) in detection of ">"		2023-01-19 03:04:35 +01:00
..
RevBank	Allow hook_prompt to mutate the prompt, like before, and use that	2023-01-19 03:04:35 +01:00