[gnome-terminal/wip/mallard-merge: 54/266] Help: Added help to pref-profiles.page
- From: Ekaterina Gerasimova <egerasimov src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal/wip/mallard-merge: 54/266] Help: Added help to pref-profiles.page
- Date: Fri, 1 Mar 2013 21:43:44 +0000 (UTC)
commit 8c34902877c18638671232d8dc84bc983159c8aa
Author: Sindhu S <sindhus live in>
Date: Mon Feb 11 13:32:46 2013 +0530
Help: Added help to pref-profiles.page
Added explanation on how to select, create, edit, delete and
set default profile.
Included appropriate mallard tags.
help/C/pref-profiles.page | 125 +++++++++++++++++++++++++++++++++------------
1 files changed, 93 insertions(+), 32 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
index 1022332..257f720 100644
--- a/help/C/pref-profiles.page
+++ b/help/C/pref-profiles.page
@@ -22,35 +22,96 @@
<title>Manage profiles</title>
- <p>A profile is a collection of <gui>Terminal</gui> settings. The default
- profile is loaded when a new terminal is opened unless you have selected
- another profile and any changes that you make to the settings will be stored
- in the selected profile.</p>
-
-<!-- Use lists for instructions. Do not give keyboard shortcut instructions
- unless the keyboard shortcut will take you directly to the desired dialog.
- You may want to consider using sections here. -->
-
- <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>
+ <p>A profile is a collection of <app>Terminal</app> settings. The default
+ profile is loaded when a new <app>Terminal</app> is opened unless you have
+ selected another profile and any changes that you make to the settings will
+ be stored in the current profile selected for the <app>Terminal</app> tab or
+ window.</p>
+
+ <p><app>Terminal</app> settings peculiar to a
+ profile include <gui style="input">Profile name</gui>, <app>Terminal</app>
+ <gui style="tab">Colors</gui>, <gui style="tab">Compatibility</gui>, <gui
+ style="tab">Scrolling</gui> etc.</p>
+
+ <section id="select-profile" type="task">
+ <title>Select a profile</title>
+ <p>You can change the profile in your current <app>Terminal</app> tab or window by selecting a profile
from <guiseq><gui style="menu">Terminal</gui><gui style="menuitem">Change Profile</gui></guiseq>.</p>
+</section>
+
+ <section id="new-profile" type="task">
+ <title>Create a new profile</title>
+ <p>Select <guiseq><gui style="menu">File</gui><gui style="menuitem">New Profile</gui></guiseq>.</p>
+
+ <steps>
+ <item>
+ <p>In <gui style="input">Profile name</gui>, input a name for your new profile.</p>
+ </item>
+ <item>
+ <p>Select <link xref="app-fonts">font</link>, <link xref="app-cursor">cursor shapes</link> and <link
xref="app-terminal-size"><app>Terminal</app> size</link>.</p>
+ </item>
+ <item>
+ <p>You may also change behaviour of <app>Terminal</app> upon <link xref="pref-custom-exit">command
exit</link>, set a <link xref="pref-login-shell">custom login shell</link> and set <link
xref="pref-scrolling">scrolling preferences</link>.</p>
+ </item>
+ <item>
+ <p>To change the <app>Terminal</app> theme and colors, see <link xref="app-colors">Setting
<app>Terminal</app> color scheme</link>.</p>
+ </item>
+ <item>
+ <p>Changes to profile are saved immediately. To return to <app>Terminal</app>, click <gui
style="button">Close</gui>.</p>
+ </item>
+ </steps>
+
+ </section>
+
+ <section id="create-profile-from-existing" type="task">
+ <title>Create a new profile based on existing profile</title>
+
+ <p>You can create a new profile based on settings from an existing profile. </p>
+
+ <steps>
+ <item>
+ <p>Select the existing profile from <guiseq><gui style="menu">File</gui><gui style="menuitem">Open
Terminal</gui></guiseq> or <gui style="menuitem">Open Tab</gui> and choose existing profile.</p>
+ </item>
+ <item>
+ <p>From the newly opened <app>Terminal</app> tab or window choose <guiseq><gui
style="menu">File</gui><gui style="menuitem">New Profile</gui></guiseq> to create new profile and <link
xref="edit-profile">edit profile</link>.</p>
+ </item>
+ </steps>
+
+ <p>Alternatively, you can create a copy of the existing profile first and then edit the profile. Go to
<guiseq><gui style="menu">Edit</gui><gui style="menuitem">Preferences</gui><gui
style="tab">Profiles</gui></guiseq>, select the desired profile and click <gui style="button">Clone</gui>.</p>
+
+ <note style="tip">
+ <p>Creating a new profile from existing profile will not affect settings in existing profile. Any
changes to settings will be stored on the new profile.</p>
+ </note>
+
+ </section>
+
+ <section id="edit-profile" type="task">
+ <title>Edit a profile</title>
+
+ <p>You can make changes to existing profiles. To edit a profile, go to <guiseq><gui
style="menu">Edit</gui><gui style="menuitem">Profile Preferences</gui></guiseq>.</p>
+
+ <note style="important">
+ <p>To make sure you are editing the desired profile, select the profile from <guiseq><gui
style="menu">Terminal</gui><gui style="menuitem">Change Profile</gui></guiseq>.</p>
+ </note>
+
+ </section>
+
+ <section id="delete-profile" type="task">
+ <title>Delete a Profile</title>
+ <p>To delete a profile, go to <guiseq><gui style="menu">Edit</gui><gui
style="menuitem">Preferences</gui><gui style="tab">Profiles</gui></guiseq>. Select the profile you wish to
delete and click <gui style="button">Delete</gui>.</p>
+
+ </section>
+
+ <section id="set-default" type="task">
+ <title>Set a default profile</title>
+ <p>Default profile is a collection of profile settings applied on launch of every <app>Terminal</app> tab
or window.</p>
+
+ <steps>
+ <item>
+ <p>Go to <guiseq><gui style="menu">Edit</gui><gui style="menuitem">Preferences</gui><gui
style="tab">Profiles</gui></guiseq>.</p>
+ </item>
+ <item><p>Select the profile to be set as default from <gui>Profile used when launching a new
terminal</gui></p></item>
+ </steps>
+
+ </section>
+
+</page>
\ No newline at end of file
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]