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]>