From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Fri, 23 Nov 2001 12:48:14 +0000 (+0000)
Subject: Make it clear that you can't save a hostname into Default Settings,
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/commitdiff_plain/e0cff44d5ca50a54ce0d6265c057b9207d2603ef?ds=inline

Make it clear that you can't save a hostname into Default Settings,
and also make it clear why not and what you should do instead.


git-svn-id: svn://svn.tartarus.org/sgt/putty@1403 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/doc/config.but b/doc/config.but
index 7117b9e8..0377c6dd 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -46,6 +46,15 @@ you want them saved. Then come back to the Session panel. Select the
 \q{Default Settings} entry in the saved sessions list, with a single
 click. Then press the \e{Save} button.
 
+Note that PuTTY does not allow you to save a host name into the
+Default Settings entry. This ensures that when PuTTY is started up,
+the host name box is always empty, so a user can always just type in
+a host name and connect.
+
+If there is a specific host you want to store the details of how to
+connect to, you should create a saved session, which will be
+separate from the Default Settings.
+
 \b To save a session: first go through the rest of the configuration
 box setting up all the options you want. Then come back to the
 Session panel. Enter a name for the saved session in the \e{Saved