On Sat, Sep 17, 2016 at 04:57:08PM -0400, Chet Ramey wrote:
> On 9/17/16 4:47 PM, Benoît Dejean wrote:
> > On Sat, Sep 17, 2016 at 01:12:24PM -0400, Chet Ramey wrote:
> >> On 9/16/16 9:25 PM, Ben wrote:
> >>> Hello,
> >>> using bash-4.4, setting PS0 to '\[\033[1;36m\]started at
> >>> \t\[\033[0m\]\n' makes it output PS0 with a non-printable \x01\x02
> >>> prefix and suffix.
> >> Yes, those are the expansions of the \[ and \] escape sequences. Since
> >> $PS0 is not being passed to readline for display, you probably don't need
> >> to include those escape sequences at all.
> > Would you consider enabling it ? The usage is obvious: display time of
> > start and end of a command, with a different color/etc.
> I think you misunderstood what I meant. The reason to include the \[ and
> \] escape sequences is so readline knows that the enclosed characters don't
> display on the screen. Since PS0 is not expanded or used by readline (the
> usual set of escape sequences gets expanded and the result is printed with
> fprintf()), you can include the color sequences without worrying about
> needing \[ and \].
OK, understood. Thank you.