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