Stan shows us his useful PS1 setting and makes this final point:
> 4) and *no* ">" !
See, I said that others would have better suggestions than me
(choosing a default PS1 setting is difficult, but not impossible).
Fortunately, I haven't run into Stan's problem (at least not yet,
and I think that I'll change our PS1 setting so we avoid the
problem).
Cheers,
David <[log in to unmask]>