Navigation: Introduction
Recommended tools
To follow the Examples given in this manual we recommend that you use an XML editor. AN XML editor is an efficient tool when working with the terminal’s configuration files.
