diff options
author | Xiaotian Wu <[email protected]> | 2023-01-05 11:26:19 +0800 |
---|---|---|
committer | raveit65 <[email protected]> | 2023-04-15 19:41:34 +0200 |
commit | 8896efde4a927e6e2f8f7ab5ae612769aa04337d (patch) | |
tree | 44b09923a0a42b1802bf818152d1b0fbeb5471b7 /help/C/mate-terminal-prefs-title.page | |
parent | e617baa8346856e11df5073dcc8fbf4cf8c29aa8 (diff) | |
download | mate-terminal-8896efde4a927e6e2f8f7ab5ae612769aa04337d.tar.bz2 mate-terminal-8896efde4a927e6e2f8f7ab5ae612769aa04337d.tar.xz |
convert docbook to mallard help docs
Diffstat (limited to 'help/C/mate-terminal-prefs-title.page')
-rw-r--r-- | help/C/mate-terminal-prefs-title.page | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/help/C/mate-terminal-prefs-title.page b/help/C/mate-terminal-prefs-title.page new file mode 100644 index 0000000..d15173e --- /dev/null +++ b/help/C/mate-terminal-prefs-title.page @@ -0,0 +1,58 @@ +<?xml version="1.0"?> +<page xmlns="http://projectmallard.org/1.0/" id="mate-terminal-prefs-title" type="topic"> + <info> + <link type="guide" xref="index#prefs"/> + <link type="next" xref="mate-terminal-prefs-colors"/> + </info> + <title>Title and Command</title> + <terms style="variablelist"> + <item> + <title> + <gui style="guilabel">Initial title</gui> + </title> + <p> + Use this text box to specify the initial title of terminals that use the profile. New terminals that are started from the current terminal have the new initial title. + </p> + </item> + <item> + <title> + <gui style="guilabel">When terminal commands set their own titles</gui> + </title> + <p> + Use this drop-down list to specify how to handle dynamically-set titles, that is, terminal titles set by commands that run in the terminal. + </p> + </item> + <item> + <title> + <gui style="guilabel">Run command as a login shell</gui> + </title> + <p> + Select this option to force the command that currently runs inside the terminal to run as a login shell. If the command is not a shell, the setting has no effect. + </p> + </item> + <item> + <title> + <gui style="guilabel">Update login records when command is launched</gui> + </title> + <p> + Select this option to insert a new entry in the login records when a new shell is opened. + </p> + </item> + <item> + <title> + <gui style="guilabel">Run a custom command instead of my shell</gui> + </title> + <p> + Select this option to run a specified command, other than the normal shell, in the terminal. Specify the custom command in the <gui style="guilabel">Custom command</gui> text box. + </p> + </item> + <item> + <title> + <gui style="guilabel">When command exits</gui> + </title> + <p> + Use this drop-down list to specify what action to perform when the command exits. + </p> + </item> + </terms> +</page> |