diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:04:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:04:31 +0000 |
| commit | ba1be3ddc8d25301a00c5f34efb3660c596160bd (patch) | |
| tree | 64988170663473eccdf745e5ee4798cbfd5d5c5b | |
| parent | 35dc71f241370d6d09d1efc132114b8ea3ff546b (diff) | |
Mention problem with Ctrl-C and ssh.
| -rw-r--r-- | BUGS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -84,6 +84,11 @@ Setting a limit on the size of the process buffer doesn't seem to help. [1998/10/06: believed to be fixed] +* When proof-rsh-command is set to "ssh host" and you issue Ctrl-c to +interrupt, the whole process may be killed instead of interrupted. +This isn't a bug in Proof General, but the behaviour of ssh. Try +using rsh instead, it is said to forward signals to the remote command. + FSF Emacs specific bugs ======================= |