From ba1be3ddc8d25301a00c5f34efb3660c596160bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:04:31 +0000
Subject: Mention problem with Ctrl-C and ssh.

---
 BUGS | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 6d53af9d..cfb89879 100644
--- a/BUGS
+++ b/BUGS
@@ -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
 =======================
-- 
cgit v1.2.3