On 4/12/20 6:23 PM, Chet Ramey wrote:
On 4/12/20 2:15 PM, gentoo_esh...@tutanota.com wrote:
There is one more/different 'face' issue: if I paste a line and then press
Enter (as opposed to any alphanumeric key or arrow keys) then the highlight
remains(highlighted), possibly because the ^M is e
On 4/12/20 2:15 PM, gentoo_esh...@tutanota.com wrote:
> There is one more/different 'face' issue: if I paste a line and then press
> Enter (as opposed to any alphanumeric key or arrow keys) then the highlight
> remains(highlighted), possibly because the ^M is echoed and thus moves the
> cursor
Apr 12, 2020, 19:30 by chet.ra...@case.edu:
>
> I'm glad it worked, but I think this is a more correct version:
>
> *** ../bash-20200408/lib/readline/display.c 2020-04-07 14:55:15.0
> -0400
> --- lib/readline/display.c2020-04-12 12:01:22.0 -0400
> ***
> *** 1
On 4/12/20 1:04 AM, gentoo_esh...@tutanota.com wrote:
>
>
>
> Apr 11, 2020, 23:11 by chet.ra...@case.edu:
>
>> On 4/11/20 12:04 PM, gentoo_esh...@tutanota.com wrote:
>>
What's your $PS1?
>>> $ echo $PS1
>>> \ ---\n\ \[\a\]\ \[\e[1;37m\e[42m\]\u@\H\[\e[0m\] \
>>> \[\033[1
