Excerpts from mail: (13-Nov-99) Re: The new rcp.el pollutes the bash history by Kai
=?iso-8859-1?q?Gro=DFjohann?=
> Francesco Potorti` <[EMAIL PROTECTED]> writes:
>> The best way would be to disable it with
>> set +o history
>> but i don't know if that's supported by every sh. Or else, just try
>> it. If you cannot disable it, well, you can't do anything about it.
>
> rcp.el now sends this command regardless of the shell or whether it
> works. Feel free to submit further commands, but deleting the history
> file is not something I was about to do :-)
/bin/sh and /bin/ksh both give the following error on my IRIX and Digital
Unix systems:
/bin/{k,}sh: history: bad option(s)
Is that a problem or do you just ignore any errors in this case?
