4 ms·
Or, y'know, have coloured prompts but place the escape characters such that they don't mess with prompt-detection regexps.
by wtbob 12y ago
Or, y'know, have coloured prompts but place the escape characters such that they don't mess with prompt-detection regexps.
- philh 12y agoTo be precise, what you're suggesting is that we have prompts which are allowed to be colored except for the $/# at the end, because you can't color those without following them by escape characters. And that prompts must have a $/# at the end. I don't consider that an acceptable solution.