/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">Προηγ</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="command-line.html">Επόμενο</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> → <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">&#x201C;To change the terminal title&#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">Προηγ</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="command-line.html">Επόμενο</a></td></tr><tr><td width="40%" align="left" valign="top">Usage </td><td width="20%" align="center"><a accesskey="h" href="index.html">Αρχή</a></td><td width="40%" align="right" valign="top"> Command line options</td></tr></table></div></body></html>
|