/usr/share/help/it/gnome-dictionary/sources-edit.page is in gnome-dictionary 3.10.0-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | <?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="task" id="sources-edit" xml:lang="it">
<info>
<revision pkgversion="3.6" version="0.1" date="2013-03-30" status="complete"/>
<link type="guide" xref="sources#guide"/>
<credit type="author copyright">
<name>Sindhu S</name>
<email>sindhus@live.in</email>
<years>2013</years>
</credit>
<credit type="copyright editor">
<name>Ekaterina Gerasimova</name>
<email>kittykat3756@gmail.com</email>
<years>2013</years>
</credit>
<include xmlns="http://www.w3.org/2001/XInclude" href="legal.xml"/>
</info>
<title>Edit a dictionary source</title>
<p>You can customize a <link xref="sources">dictionary source</link> to
update details such as its description or remote address.</p>
<steps>
<title>To edit a dictionary source:</title>
<item>
<p>Select <guiseq><gui style="menu">Dictionary</gui>
<gui style="menuitem">Preferences</gui>
<gui style="tab">Source</gui></guiseq>.</p>
</item>
<item>
<p>Double click on the dictionary source you want to edit.</p>
</item>
<item>
<p>You can edit the following fields:</p>
<list>
<item>
<p><gui>Description</gui> is the name of the source as it will be
displayed to you.</p>
</item>
<item>
<p><gui>Transport</gui> is the type of server.</p>
</item>
<item>
<p><gui>Hostname</gui> is the location of the dictionary source.</p>
</item>
<item>
<!-- TODO: explain that the user should not need to set it, maybe
explain when one may want to set it. -->
<p><gui>Port</gui>.</p>
</item>
</list>
</item>
<item>
<p>View the dictionaries that are available in the dictionary source by
selecting the <gui style="tab">Dictionaries</gui> tab.</p>
</item>
<item>
<p>Press <gui style="button">Close</gui> to save the settings.</p>
</item>
</steps>
</page>
|