[gnome-terminal] help: rename title-command to pref-titlebycommand
- From: Ekaterina Gerasimova <egerasimov src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] help: rename title-command to pref-titlebycommand
- Date: Sun, 3 Mar 2013 21:33:40 +0000 (UTC)
commit f8ae9cfa5a87f8a1dc35656a6d851b4b649d2c92
Author: Sindhu S <sindhus live in>
Date: Thu Jan 10 16:41:44 2013 +0530
help: rename title-command to pref-titlebycommand
Added help on how commands or programs can change Terminal titles
and how user can control these titles.
help/C/pref-titlebyprogram.page | 31 +++++++++++++++++++++++++++++++
help/C/title-command.page | 24 ------------------------
2 files changed, 31 insertions(+), 24 deletions(-)
---
diff --git a/help/C/pref-titlebyprogram.page b/help/C/pref-titlebyprogram.page
new file mode 100644
index 0000000..1eb1bb5
--- /dev/null
+++ b/help/C/pref-titlebyprogram.page
@@ -0,0 +1,31 @@
+<page xmlns="http://projectmallard.org/1.0/"
+ type="task"
+ id="pref-titlebyprogram">
+ <info>
+ <revision version="0.1" date="2013-01-10" status="draft"/>
+
+ <credit type="author copyright">
+ <name>Sindhu S</name>
+ <email>sindhus live in</email>
+ <years>2013</years>
+ </credit>
+
+ <link type="guide" xref="index#preferences"/>
+
+ <desc>How to allow programs to set <app>Terminal</app> title</desc>
+
+ </info>
+
+ <title>Automatic titles</title>
+
+ <p>You can set Terminal to name your Terminal tabs automatically on launch of a command. To enable this go
to Menu:: Edit > Preferences > Title and Command tab and choose from the options under "When terminal
commands set their own titles".</p>
+
+ <p>Replace initial title: Commands that have been executed in Terminal can be allowed to set title of
Terminal with this option.</p>
+
+ <p>Append initial title: Commands executed in Terminal can append their titles to the already set title of
the Terminal.</p>
+
+ <p>Prepend intial title: Commands executed in Terminal can prepend that is attach their title before the
existing Terminal title.</p>
+
+ <p>Keep initial title: Commands executed in Terminal can may replace Terminal title, choose this option to
keep existing Terminal title.</p>
+
+</page>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]