Re: Unwanted `^A' and `^B' characters in bash prompt.

[Richard Stallman]

    The discussion ended with Andreas writing a bug report to the bash
    maintainers.

Did they fix the bash bug?

                  This, however, does not solve the problem for users of
    current versions of bash (including me :-( ).  So I wrote a small
    function that removes the unwanted `^A' and `^B' characters from the
    bash prompt.  Shall I put this function in etc/PROBLEMS as shown in
    the patch below?

Is there a reasonable way to install this code in comint.el or
shell.el that won't do any harm to users in other situations?  All
else being equal, it would be better to DTRT automatically than to
make the user go to an effort to compensate.