From aceea31760cee50250be6e72f19551903a7175b8 Mon Sep 17 00:00:00 2001
From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Wed, 31 Aug 2005 16:14:21 +0000
Subject: [PATCH] Explicitly note that "remote command" semantics typically
 involve the server closing the connection after the command has executed.

[originally from svn r6246]
---
 doc/config.but | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/config.but b/doc/config.but
index e48c588f..2647189c 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -2052,6 +2052,9 @@ Instead, you can choose to run a single specific command (such as a
 mail user agent, for example). If you want to do this, enter the
 command in the \q{\ii{Remote command}} box.
 
+Note that most servers will close the session after executing the
+command.
+
 \S{config-ssh-noshell} \q{Don't start a \I{remote shell}shell or
 \I{remote command}command at all}