> On Aug 17, 2017, at 7:47 PM, Theo Buehler <t...@theobuehler.org> 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
