Thanks for further suggestions – Geoff P, your method might well work, hadn't thought of that, but why should one have to resort to such subterfuge?
My wife ran the vac over the keyboard of the ancient laptop I'm writing on and it sucked the 'O' key right off the keyboard. My bad for insisting on a semi-industrial vac I suppose! Anyhow, definitely time for a new computing machine and having read the 'Forced upgrade to W10' thread, it's definitely going to be Linux based. Whichever flavo(u)r it has to be better than Windows.
I can understand that csh, bash , or whatever might not be to everyone's taste, but I was forced to learn it for my job, and it somehow became second nature -i t's elegant and powerful once you get the hang of it. I'm looking forward to getting the console back! It does give you enough rope to hang yourself on though. An anecdote: I once had a postdoctoral fellow (who should have known better) come to me and ask what was going on with the system because all his data had disappeared. The dialogue on his screen ran
$rm -r * .ps
rm: no such file or directory : .ps
He'd made an unintentional space between the star and .ps. He wanted to delete only his postscript files. Luckily I'd backed everything up, but I'm sorry to say I did subject the guy to a bit of tooth-sucking before I told him.
Robin