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. -- Benoît Dejean
