> On Aug 17, 2017, at 7:52 PM, Scott Cheloha <[email protected]> wrote: > >> On Aug 17, 2017, at 7:47 PM, Theo Buehler <[email protected]> wrote: >> >> On Fri, Aug 18, 2017 at 02:37:51AM +0200, Theo Buehler wrote: >>> On Thu, Aug 17, 2017 at 07:25:14PM -0500, Scott Cheloha wrote: >>>> Spotted these when customizing my prompt. >>>> >>>> I think "may differ from" is better than "could be different from," >>>> and you're free to (heh) differ, but in either case we get the >>>> >>>> to -> from >>> >>> I leave the first one one for jmc to decide, but I prefer the original >>> wording about the prompt: PS1 *is* either '$ ' or '# ' by default. >>> >>> See the lines following bin/ksh/main.c:312. >>> >> >> Please ignore this. I looked at the wrong part of the man page. >> >> The patch is ok tb if jmc doesn't object. > > Just so everyone is clear, and for posterity, the second typo is > that the escape sequence \$ does *not* produce a space character > after the prompt character. It only prints '$', or '#' if you > are root. > > Probably should have written that out explicitly. > > -Scott
And by tech@ I meant to send that to bugs@. Oh well.
