Explicitly note that "remote command" semantics typically involve the server

closing the connection after the command has executed.

[originally from svn r6246]

diff --git a/doc/config.but b/doc/config.but
index e48c588f434127d8b4046910b3e204ac48da23b1..2647189c2c37b6577b91b5bd593fb485fdc865db 100644 (file)
--- 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}