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.