blob: d15173ee75cac5d604043050432444a821a97446 (
plain)
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
|
<?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>
|
