/usr/share/help/C/gnome-terminal/pref-profile-encoding.page is in gnome-terminal-data 3.18.3-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 | <page xmlns="http://projectmallard.org/1.0/"
type="task"
id="pref-profile-encoding">
<info>
<link type="guide" xref="index#advanced"/>
<link type="guide" xref="pref"/>
<revision pkgversion="3.14" date="2014-09-08" status="review"/>
<credit type="author copyright">
<name>Ekaterina Gerasimova</name>
<email>kittykat3756@gmail.com</email>
<years>2014</years>
</credit>
<!--<credit type="copyright editor">
<name></name>
<email></email>
<years></years>
</credit>-->
<include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
<desc>Set a different encoding for each saved profile.</desc>
</info>
<title>Change profile character encoding</title>
<p>You should normally be able to use the default, UTF-8, encoding for all of
your terminal needs. If you do find that you regularly need to use a
different character encoding for a specific task, you can
<link xref="pref-profiles#new-profile">create a new profile</link> with a
different encoding.</p>
<steps>
<item>
<p>Open
<guiseq><gui style="menu">Edit</gui><gui style="menuitem">Preferences</gui><gui style="tab">Profiles</gui></guiseq>.</p>
</item>
<item>
<p>Select the profile that you want to edit and press
<gui style="button">Edit</gui> to open the profile preferences for
editing.</p>
</item>
<item>
<p>Open the <gui style="tab">Compatibility</gui> tab and set the
character encoding.</p>
</item>
</steps>
<note>
<p>Most modern operating systems now support and use UTF-8 character
encoding by default.</p>
</note>
</page>
|