On Friday 12 February 2010 00:26:56 Neil Bothwick wrote: > On Thu, 11 Feb 2010 22:32:44 +0200, Alan McKinnon wrote: > > > In which case, running reset in the affected terminal should clear > > > it. > > > > Every time I've tried to tell people to do that, they tell me they > > can't do it because > > > > %#!*^ > > > > obviously is not a valid command. > > It's not, if it were reset the second and fourth characters would be the > same :P
Smartass :-) You owe me a year's subscription from your employer for that wise-crack. Postage paid by sender, naturally. -- alan dot mckinnon at gmail dot com