This file is indexed.

/usr/share/doc/xfce4-terminal/el/preferences.html is in xfce4-terminal 0.4.8-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
<html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Preferences</title><link rel="stylesheet" type="text/css" href="../terminal.css"><meta name="generator" content="DocBook XSL Stylesheets V1.76.1"><link rel="home" href="index.html" title="Terminal Emulator"><link rel="up" href="index.html" title="Terminal Emulator"><link rel="prev" href="usage.html" title="Usage"><link rel="next" href="command-line.html" title="Command line options"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Preferences</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="usage.html">&#928;&#961;&#959;&#951;&#947;</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="command-line.html">&#917;&#960;&#972;&#956;&#949;&#957;&#959;</a></td></tr></table><hr></div><div class="sect1" title="Preferences"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="preferences"></a>Preferences</h2></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-edit-preferences.png" alt="Preferences"></div></div><p>To configure Terminal, choose <span class="guimenu"><strong>Edit</strong></span> &#8594; <span class="guimenuitem"><strong>Preferences...</strong></span> or right-click the terminal area of the window and choose
    <span class="guimenuitem"><strong>Preferences...</strong></span>. This will bring up the <span class="guilabel"><strong>Terminal
    Preferences</strong></span> dialog, which allows you to adjust Terminal's behaviour to your needs.</p><div class="sect2" title="General"><div class="titlepage"><div><div><h3 class="title"><a name="preferences-general"></a>General</h3></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-preferences-general.png" alt="General preferences"></div></div><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>Initial title</strong></span></span></dt><dd><p>Use this text box to specify the initial title of terminals.
            New terminals will have the initial title.</p><p>The initial title can also substitute some tokens, see
            <a class="xref" href="usage.html#set-title" title="To change the terminal title">&amp;#x201C;To change the terminal title&amp;#x201D;</a> for more information.</p></dd><dt><span class="term"><span class="guilabel"><strong>Dynamically-set title</strong></span></span></dt><dd><p>Use this drop-down list to specify how to handle dynamically-set
            titles, that is, terminal titles set by the commands that run in the
            terminal.</p></dd><dt><span class="term"><span class="guilabel"><strong>Run command as login shell</strong></span></span></dt><dd><p>Select this option to force Terminal to run your shell as a
            login shell when you open new terminals. See the documentation of your
            shell for details about differences between running it as interactive
            shell and running it as login shell.</p></dd><dt><span class="term"><span class="guilabel"><strong>Update utmp/wtmp records when command is launched</strong></span></span></dt><dd><p>Select this option to insert a new entry in the utmp and wtmp records
            when a new terminal is opened.</p></dd><dt><span class="term"><span class="guilabel"><strong>Scroll on output</strong></span></span></dt><dd><p>Select this option to enable you to scroll the output on the terminal
            while the terminal continues to display more output from a command.</p></dd><dt><span class="term"><span class="guilabel"><strong>Scroll on keystroke</strong></span></span></dt><dd><p>Select this option to enable you to press any key on the keyboard to
            scroll down the terminal window to the command prompt. This action only
            applies if you scrolled up the terminal window and you want to return
            to the command prompt.</p></dd><dt><span class="term"><span class="guilabel"><strong>Scrollbar is</strong></span></span></dt><dd><p>Use this drop-down list to specify the position of the scrollbar in
            terminal windows.</p></dd><dt><span class="term"><span class="guilabel"><strong>Scrollback</strong></span></span></dt><dd><p>Use this spin box to specify the number of lines that you can scroll
            back using the scrollbar or the mouse wheel. For example, if you specify
            1000 you can scroll back the last 1000 lines displayed in the terminal.</p></dd></dl></div></div><div class="sect2" title="Appearance"><div class="titlepage"><div><div><h3 class="title"><a name="preferences-appearance"></a>Appearance</h3></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-preferences-appearance.png" alt="Appearance preferences"></div></div><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>Font</strong></span></span></dt><dd><p>
              Click on the button to select the font type and font size you want to
              use for the terminal.
            </p><p>
              Use the option <span class="guilabel"><strong>Enable anti-aliasing for the terminal font</strong></span>
              to control whether you want Terminal to use anti-aliasing when rendering text in
              the terminals. Disabling this option can impressively speed up terminal rendering
              performance and reduce the overall system load on slow systems.
            </p><p>
              The option <span class="guilabel"><strong>Allow bold text</strong></span> controls whether Terminal
              allows the application running inside to use bold text or not. If disabled,
              all text will appear in the selected font, else certain text will appear in
              bold face.
            </p></dd><dt><span class="term"><span class="guilabel"><strong>Background</strong></span></span></dt><dd><p>Select a background for the terminal window. The options are as follows:</p><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>None (use solid color)</strong></span></span></dt><dd><p>Select this option to use the background color that is specified
                  in the <span class="guilabel"><strong>Colors</strong></span> section as the background color for
                  the terminal.</p></dd><dt><span class="term"><span class="guilabel"><strong>Background image</strong></span></span></dt><dd><p>Select this option to use an image file as the background for the
                  terminal. Use the <span class="guilabel"><strong>Image file</strong></span> entry box to
                  specify the location and name of the image file. Alternatively, click on
                  the button besides the entry box to search for and select the image
                  file.</p><p>Use the <span class="guilabel"><strong>Style</strong></span> option to control the appearance
                  of the background image. Terminal supports tiling, centering, scaling and
                  stretching background images.</p></dd><dt><span class="term"><span class="guilabel"><strong>Transparent background</strong></span></span></dt><dd><p>Select this option to use a transparent background for the terminal.</p></dd></dl></div><p>If you have selected <span class="guilabel"><strong>Background image</strong></span> or <span class="guilabel"><strong>Transparent
            background</strong></span>, you can use the slider <span class="guilabel"><strong>Shade transparent or image
            background</strong></span> to shade or dim the background of the terminal.</p></dd><dt><span class="term"><span class="guilabel"><strong>Display menubar in new windows</strong></span></span></dt><dd><p>Select this option to show the menubar on new terminal windows by default.</p></dd><dt><span class="term"><span class="guilabel"><strong>Display toolbars in new windows</strong></span></span></dt><dd><p>Select this option to show toolbars on new terminal windows by default.</p></dd><dt><span class="term"><span class="guilabel"><strong>Display borders around new windows</strong></span></span></dt><dd><p>Select this option to show window decorations on new terminal windows by default.</p></dd></dl></div></div><div class="sect2" title="Colors"><div class="titlepage"><div><div><h3 class="title"><a name="id359750"></a>Colors</h3></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-preferences-colors.png" alt="Color preferences"></div></div><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>Foreground and Background</strong></span></span></dt><dd><p>The two buttons labelled with <span class="guilabel"><strong>Text and cursor color</strong></span> allow
            to select the color Terminal uses to draw normal text and the color for the text
            cursor. An application running inside the terminal can also request a different color
            chosen from the palette below to draw text.</p><p>Click on the <span class="guilabel"><strong>Background color</strong></span> button to choose the
            default background for terminal windows. This color is also used in background
            tinting when <span class="guilabel"><strong>Transparent background</strong></span> or <span class="guilabel"><strong>Background
            image</strong></span> is selected.</p></dd><dt><span class="term"><span class="guilabel"><strong>Text Selection</strong></span></span></dt><dd><p>Select the background color to use when selecting text in a terminal window.
            You can either specify a custom color or stick to the default color.</p></dd><dt><span class="term"><span class="guilabel"><strong>Palette</strong></span></span></dt><dd><p>The terminal provides the application running inside with a palette of
            16 colors. You can customize these colors using the 16 color buttons.</p></dd></dl></div></div><div class="sect2" title="Shortcuts"><div class="titlepage"><div><div><h3 class="title"><a name="id359860"></a>Shortcuts</h3></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-preferences-shortcuts.png" alt="Shortcut preferences"></div></div><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>Shortcut keys</strong></span></span></dt><dd><p>The <span class="guilabel"><strong>Shortcut keys</strong></span> section of the dialog lists the
            shortcut keys that are defined for each menu item. The shortcut keys enable
            you to use the keyboard to choose a menu item rather than use the mouse. A
            shortcut key can be any non-modifier key or any combination of a non-modifier
            key and several modifier keys, where modifier keys are <span class="keycap"><strong>Alt</strong></span>,
            <span class="keycap"><strong>Ctrl</strong></span> and the like.</p><div class="screenshot"><div class="mediaobject"><img src="images/terminal-compose-shortcut.png" alt="Compose shortcut"></div></div><p>To change a shortcut key for a menu item, double click the item in the list
            and press the key combination you want to set. To disable a shortcut for a specific
            menu item, double click the menu item in the list and click the button
            <span class="guilabel"><strong>Clear</strong></span>.</p></dd><dt><span class="term"><span class="guilabel"><strong>Disable all menu access keys (such as Alt+f)</strong></span></span></dt><dd><p>Select this option to disable the access keys that are defined to
            enable you to use keyboard instead of the mouse to select a menu item.
            Each access key is identified by an underlined letter on a menu or dialog
            option. In some cases, you must press the <span class="keycap"><strong>Alt</strong></span> key in
            combination with the access key to perform the action.</p></dd><dt><span class="term"><span class="guilabel"><strong>Disable menu shortcut key (F10 by default)</strong></span></span></dt><dd><p>Select this option to disable the shortcut key that is defined to
            enable you to access the Terminal menus. The default shortcut key to access
            the menus is <span class="keycap"><strong>F10</strong></span>.</p></dd></dl></div></div><div class="sect2" title="Advanced"><div class="titlepage"><div><div><h3 class="title"><a name="id360007"></a>Advanced</h3></div></div></div><div class="screenshot"><div class="mediaobject"><img src="images/terminal-preferences-advanced.png" alt="Advanced preferences"></div></div><div class="variablelist"><dl><dt><span class="term"><span class="guilabel"><strong>Backspace key generates</strong></span></span></dt><dd><p>Use the drop-down list to select the function that you want the
            <span class="keycap"><strong>Backspace</strong></span> key to perform.</p></dd><dt><span class="term"><span class="guilabel"><strong>Delete key generates</strong></span></span></dt><dd><p>Use the drop-down list to select the function that you want the
            <span class="keycap"><strong>Delete</strong></span> key to perform.</p></dd><dt><span class="term"><span class="guilabel"><strong>$TERM setting</strong></span></span></dt><dd><p>
              This specifies the value the <code class="varname">$TERM</code> environment variable is set to, when
              a new terminal tab or terminal window is opened. The default should be ok for most
              systems. If you have problems with colors in some applications or if you think that a
              certain application behaves oddly, try <strong class="userinput"><code>xterm-color</code></strong> here. If you have
              problems with ncurses 5.6 or later you could also try <strong class="userinput"><code>xfce</code></strong>.
            </p></dd><dt><span class="term"><span class="guilabel"><strong>Reset compatibility options to defaults</strong></span></span></dt><dd><p>Click this button to reset the options on the <span class="guilabel"><strong>Compatibility</strong></span>
            tabbed section to its defaults settings.</p></dd><dt><span class="term"><span class="guilabel"><strong>Double click</strong></span></span></dt><dd><p>Use this text box to specify characters or groups of characters that Terminal
            considers to be words when you select text by word.</p></dd></dl></div></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="usage.html">&#928;&#961;&#959;&#951;&#947;</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="command-line.html">&#917;&#960;&#972;&#956;&#949;&#957;&#959;</a></td></tr><tr><td width="40%" align="left" valign="top">Usage </td><td width="20%" align="center"><a accesskey="h" href="index.html">&#913;&#961;&#967;&#942;</a></td><td width="40%" align="right" valign="top"> Command line options</td></tr></table></div></body></html>