/usr/share/help/C/gnome-terminal/app-fonts.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 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 | <page xmlns="http://projectmallard.org/1.0/"
type="task"
id="app-fonts">
<info>
<revision version="0.1" date="2013-02-22" status="candidate"/>
<link type="guide" xref="index#appearance"/>
<link type="guide" xref="profile"/>
<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>
<credit type="copyright editor">
<name>Michael Hill</name>
<email>mdhillca@gmail.com</email>
<years>2013</years>
</credit>
<include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
<desc>Use system fonts or choose a custom font for your terminal.</desc>
</info>
<title>Change font and style</title>
<p>When you work with a lot of <app>Terminal</app> text, you may want to
change the default font to your preference. You have the following
options:</p>
<section id="system-font">
<title>System fixed width font</title>
<p>To use system default fonts:</p>
<steps>
<item>
<p>Select <guiseq><gui style="menu">Edit</gui> <gui style="menuitem">
Profile Preferences</gui> <gui style="tab">General</gui></guiseq>.</p>
</item>
<item>
<p>Select <gui style="checkbox">Use the system fixed width font</gui>.</p>
</item>
</steps>
</section>
<section id="custom-font">
<title>Set a custom font</title>
<p>To set a custom font and size:</p>
<steps>
<item>
<p>Select <guiseq><gui style="menu">Edit</gui>
<gui style="menuitem">Profile Preferences</gui>
<gui style="tab">General</gui></guiseq>.</p>
</item>
<item>
<p>Ensure that <gui>Use the system fixed width font</gui> option is
unchecked.</p>
</item>
<item>
<p>Click on the button next to <gui>Font</gui>.</p>
</item>
<item>
<p>Type the name of your desired font into the search field or browse the
list of fonts.</p>
</item>
<item>
<p>Drag the slider that is below the font list to set the font size.
Alternatively, you can type in the font size into the field next to the
slider, or click on <gui style="button">+</gui> to increase font size or
<gui style="button">-</gui> to decrease selected font size.</p>
</item>
<item>
<p>Click <gui style="button">Select</gui> to apply your changes. To
discard changes and go back to previous dialog, click
<gui style="button">Cancel</gui>.</p>
</item>
</steps>
</section>
<section id="bold-fonts">
<title>Bold text</title>
<p><app>Terminal</app> allows your shell to process text such as the prompt,
directory names or man page headings to appear in bold style.</p>
<steps>
<item>
<p>Go to <guiseq><gui style="menu">Edit</gui> <gui style="menuitem">
Profile Preferences</gui> <gui style="tab">General</gui></guiseq>.</p>
</item>
<item>
<p>Select <gui style="checkbox">Allow bold text</gui>.</p>
</item>
</steps>
<note style="important">
<p><gui style="checkbox">Allow bold text</gui> is a shell specific feature.
If you are using a shell other than Bash, then the described behavior may
not be similar.</p>
</note>
</section>
</page>
|