[gnome-terminal/wip/mallard-merge: 7/225] help: add pref-profiles.page
- From: Ekaterina Gerasimova <egerasimov src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal/wip/mallard-merge: 7/225] help: add pref-profiles.page
- Date: Fri, 1 Mar 2013 23:58:52 +0000 (UTC)
commit 0ed63c12fa36dd06ae118defb376be2023f726cd
Author: Sindhu S <sindhus live in>
Date: Wed Jan 9 16:34:07 2013 +0530
help: add pref-profiles.page
Added content to pref-profiles.page
Added vertabim text to pref-profiles.page on how to create, edit
and delete Terminal profiles.
help/C/pref-profiles.page | 31 +++++++++++++++++++++++++++++++
1 files changed, 31 insertions(+), 0 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
new file mode 100644
index 0000000..7c3daff
--- /dev/null
+++ b/help/C/pref-profiles.page
@@ -0,0 +1,31 @@
+<page xmlns="http://projectmallard.org/1.0/"
+ type="guide"
+ id="pref-profiles">
+
+ <info>
+ <revision version="0.1" date="2013-01-09" status="draft"/>
+ <link type="guide" xref="index#preferences"/>
+
+ <credit type="author copyright">
+ <name>Sindhu S</name>
+ <email>sindhus live in</email>
+ <years>2013</years>
+ </credit>
+
+ <desc>How to create, edit and delete <app>Terminal</app> profiles</desc>
+ </info>
+
+ <title>Manage Profiles</title>
+ <p> Profile is a collection of Terminal settings. Any changes you make to Terminal settings will be stored
in "Default Profile" unless specified a separate profile. Terminal always opens with the profile "Default
Setting" unless it has been told to do otherwise.</p>
+
+ <p>Create New Profile: Menu: File > New Profile. Or use keyboard sequence of Alt + F, then press P. In the
Profile Name textbox type a name for your new profile and select base settings from available profiles. This
means your new profile will be populated /filled with settings from existing profile up on which you can make
changes. Changes will be stored in your new profile and will not affect settings of existing profiles.</p>
+
+ <p>Edit profiles : by going to Edit >> Profile Preferences option or Edit >> Profiles , select profile you
want to edit and click Edit button, which will open the Profile Preferences window for profile you had
selected to edit.</p>
+
+ <p>Delete profile: by going to Edit >> Profiles option. Select profile you want to delete and hit Delete
button. Exit this window using close or X mark button</p>
+
+ <p>Set default profile: by going to Edit >> Profiles and selecting Profile in the dropdown menu of
"Profile used when launching a new terminal"</p>
+
+ <p>Change profile in currently using terminal: Go to Menu:Terminal > Change Profile, select profile you'd
like. This will change your existing Terminal window to use the profile you have selected.</p>
+
+</page>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]