On Fri, Aug 18 2017, 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.
That diff looks good to me. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE