[deployment-guide/comm-rel: 329/727] fixed minor issues in ABRT chapter

Jaromir Hradilek jhradile at fedoraproject.org
Tue Oct 19 12:52:19 UTC 2010


commit d5bd5e0d2175ca7f5307428503d008e4fc035b43
Author: Martin Prpic <mprpic at redhat.com>
Date:   Tue Aug 10 15:56:52 2010 +0200

    fixed minor issues in ABRT chapter

 en-US/ABRT.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/en-US/ABRT.xml b/en-US/ABRT.xml
index de274e8..3813fb3 100644
--- a/en-US/ABRT.xml
+++ b/en-US/ABRT.xml
@@ -351,7 +351,7 @@ Starting abrt daemon:                                      [  OK  ]</screen>
       <title>Plugin Configuration in the GUI</title>
       <para>
         The system-wide plugin configuration in the <filename>/etc/abrt/plugins/*.conf</filename> configuration files may be overridden on a per-user basis. 
-        Each of the plugins specified in the section above can be configured in the <application>ABRT</application> GUI application. Open the plugins menu by clicking <menuchoice><guimenu>Edit</guimenu><guisubmenu>Plugins</guisubmenu></menuchoice>. This window shows a list of all installed plugins. You can also view each of the plugins' details by selecting one and expanding the <guimenu>Plugin Details</guimenu> tab. When you click on one of the configurable plugins, the <guibutton>Configure</guibutton> button can be clicked and you will be able to configure your desired plugin. If you change any of the plugins' parameters, they are saved in the Gnome keyring and will be used in the future GUI sessions. 
+        Each of the plugins specified in section <xref linkend="reporter-plugins"/> can be configured in the <application>ABRT</application> GUI application. Open the plugins window by clicking <menuchoice><guimenu>Edit</guimenu><guisubmenu>Plugins</guisubmenu></menuchoice>. This window shows a list of all installed plugins. You can also view each of the plugins' details by selecting one and expanding the <guimenu>Plugin Details</guimenu> tab. When you click on one of the configurable plugins, the <guibutton>Configure</guibutton> button can be clicked and you will be able to configure your desired plugin. If you change any of the plugins' parameters, they are saved in the Gnome keyring and will be used in the future GUI sessions. 
       </para>
       <note>
         <title>Note</title>


More information about the docs-commits mailing list