has been run recently.
<P>
-User configuration files go in .
+User configuration files go in <SPAN CLASS="textit">~/.ion3/</SPAN>.
Ion always searches the user configuration file directory before the stock
configuration file directory for files. Therefore, if you want to change
some setting, it is advised against that you modify the stock configuration
files in-place as subsequent installs of Ion will restore the stock
configuration files. Instead you should always make a copy of the stock
-file in and modify this file. For sake of maintainability
+file in <SPAN CLASS="textit">~/.ion3/</SPAN> and modify this file. For sake of maintainability
of your customised configuration, it is recommended against copying all of
the files there. Only copy those files you actually need to modify. Most
simple customisations, such as changes in a few bindings, are best done
</DD>
<DT><STRONG>Description:</STRONG></DT>
<DD>This query asks for a host to connect to with SSH.
- Hosts to tab-complete are read from .
+ Hosts to tab-complete are read from <SPAN CLASS="textit">~/.ssh/known_hosts</SPAN>.
</DD>
</DL>
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\note}[1]{\color{red}**#1**}
-\newcommand{\file}[1]{\mbox{\emph{#1}}}
+\newcommand{\file}[1]{\emph{#1}}
\newcommand{\type}[1]{#1}
\newcommand{\spec}[1]{#1}
\newcommand{\indextype}[1]{\index{#1@\type{#1}}}