Gecko [ www.utparral.edu.mx ]

Name	Size	Permission
figures	[ DIR ]	drwxr-xr-x
adv-keyboard-shortcuts.page	12.98 KB	-rw-r--r--
app-colors.page	6.51 KB	-rw-r--r--
app-cursor.page	2.08 KB	-rw-r--r--
app-fonts.page	4.05 KB	-rw-r--r--
app-fullscreen.page	2.07 KB	-rw-r--r--
app-terminal-sizes.page	3.08 KB	-rw-r--r--
app-zoom.page	1.73 KB	-rw-r--r--
gs-execute-commands.page	2.03 KB	-rw-r--r--
gs-tabs.page	5.42 KB	-rw-r--r--
index.page	1.72 KB	-rw-r--r--
introduction.page	1.42 KB	-rw-r--r--
legal.xml	998 B	-rw-r--r--
overview.page	3.97 KB	-rw-r--r--
pref-bell.page	1.92 KB	-rw-r--r--
pref-custom-command.page	2.8 KB	-rw-r--r--
pref-custom-exit.page	2.43 KB	-rw-r--r--
pref-keyboard-access.page	3.19 KB	-rw-r--r--
pref-login-shell.page	3.07 KB	-rw-r--r--
pref-menubar.page	2.08 KB	-rw-r--r--
pref.page	746 B	-rw-r--r--
pref-profile-char-width.page	1.82 KB	-rw-r--r--
pref-profile-encoding.page	1.69 KB	-rw-r--r--
pref-profiles.page	9.11 KB	-rw-r--r--
pref-scrolling.page	5.31 KB	-rw-r--r--
pref-tab-window.page	2.54 KB	-rw-r--r--
pref-user-input.page	1.56 KB	-rw-r--r--
prob-reset.page	2.41 KB	-rw-r--r--
txt-copy-paste.page	2.12 KB	-rw-r--r--
txt-links.page	3.01 KB	-rw-r--r--
txt-search.page	3.02 KB	-rw-r--r--
txt-select-text.page	1.55 KB	-rw-r--r--

Code Editor : pref-profiles.page

<credit type="author copyright">
 <name>Sindhu S</name>
 <email>sindhus@live.in</email>
 <years>2013</years>
 </credit>
 <credit type="author copyright editor">
 <name>Ekaterina Gerasimova</name>
 <email>kittykat3756@gmail.com</email>
 <years>2013-2014</years>
 </credit>
 <credit type="copyright editor">
 <name>Michael Hill</name>
 <email>mdhillca@gmail.com</email>
 <years>2013</years>
 </credit>

<desc>Create, rename and delete profiles.</desc>
 </info>

<title>Manage profiles</title>

<comment>
 <cite href="mailto:kittykat3756@gmail.com">Kat</cite>
 Repeating that the user can edit the settings in each section is not
 very nice, we need to find a way around this.
 </comment>

A profile is a collection of <app>Terminal</app> settings.
 <app>Terminal</app> supports multiple profiles. You can configure
 <app>Terminal</app> profiles to <link xref="pref-custom-command">run a custom
 command or shell</link>, set a profile exclusively to connect to remote
 computers using SSH or set a profile that launches a <app>GNU Screen</app>
 session.

The available <app>Terminal</app> settings include:

<list>
 <item>
 Profile name.
 </item>
 <item>
 Font and background colors.
 </item>
 <item>
 <gui style="tab">Compatibility</gui> with <key>Backspace</key> and
 <key>Delete</key> keys.
 </item>
 <item>
 <gui style="tab">Scrolling</gui>.
 </item>
 </list>

<section id="select-profile" style="task">
 <title>Select a profile</title>

If you have two or more profiles defined, 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>.

</section>

<section id="new-profile" style="task">
 <title>Create a new profile</title>

To create a new profile with the default settings of
 <app>Terminal</app>:

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 In the sidebar, click on the <gui style="button">+</gui> button
 next to the <gui>Profiles</gui> label.
 </item>
 <item>
 Enter a name for the new profile. You can change this name later.
 </item>
 <item>
 Click <gui style="button">Create</gui> to create the new profile.
 </item>
 <item>
 Set your desired <link xref="#edit-profile">profile
 preferences</link>. These will be saved automatically.
 </item>
 </steps>

</section>

<section id="create-profile-from-existing" style="task">
 <title>Create a new profile based on an existing profile</title>

You can create a new profile based on settings from an existing
 profile:

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 In the sidebar select the profile on which your new profile should
 be based.
 </item>
 <item>
 Click on the arrow next to the profile name.
 </item>
 <item>
 Select <gui style="menuitem">Clone…</gui>.
 </item>
 <item>
 Enter a name for the new profile. You can change this name later.
 </item>
 <item>
 Click <gui style="button">Clone</gui> to create the new profile.
 </item>
 <item>
 Set your desired <link xref="#edit-profile">profile
 preferences</link>. These will be saved automatically.
 </item>
 </steps>

<note>
 Creating a new profile from an existing profile will not affect
 settings in an existing profile. Any changes to settings will be stored
 in the new profile.
 </note>

</section>

<section id="edit-profile" style="task">
 <title>Edit a profile</title>

<note style="warning">
 If the default profile is edited, it cannot be restored to its
 original settings! If you have not already created any other
 <app>Terminal</app> profiles and have customized the default profile,
 <app>Terminal</app> may become unusable should any settings
 cause problems. It is recommended that you
 <link xref="#create-profile-from-existing">create a copy of the
 default profile</link> then edit the copy to create a custom profile.
 </note>

You can make changes to existing profiles. To edit a profile:

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Your current profile is selected in the sidebar. If you wish to edit
 a different profile, click on its name.
 </item>
 </steps>

Once the desired profile is selected, you can:

<steps>
 <item>
 Select <link xref="app-fonts">font</link>,
 <link xref="app-cursor">cursor shapes</link> and
 <link xref="app-terminal-sizes"><app>Terminal</app> size</link>.
 </item>
 <item>
 You may also change behavior of <app>Terminal</app> on
 <link xref="pref-custom-exit">command exit</link>, set a
 <link xref="pref-login-shell">custom login shell</link> or change
 <link xref="pref-scrolling">scrollbar preferences</link>.
 </item>
 <item>
 To change the <app>Terminal</app> background and text colors, see
 <link xref="app-colors"><app>Terminal</app> color schemes</link>.
 </item>
 <item>
 Changes to profile are saved immediately. To return to
 <app>Terminal</app>, click <gui style="button">Close</gui>.
 </item>
 </steps>

</section>

<section id="rename-profile" style="task">
 <title>Rename an existing profile</title>

You can rename existing profiles, including the default profile:

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Select the profile you wish to rename.
 </item>
 <item>
 Click on the arrow next to the profile name.
 </item>
 <item>
 Select <gui style="menuitem">Rename…</gui>.
 </item>
 <item>
 Enter the new profile name.
 </item>
 <item>
 Click <gui style="button">Rename</gui> to rename.
 </item>
 </steps>

</section>

<section id="delete-profile" style="task">
 <title>Delete a profile</title>
 
 To delete a profile:

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Select the profile you wish to delete.
 </item>
 <item>
 Click on the arrow next to the profile name.
 </item>
 <item>
 Select <gui style="menuitem">Delete…</gui>.
 </item>
 <item>
 Click <gui style="button">Delete</gui> to confirm.
 </item>
 </steps>

<note style="tip">
 The default profile cannot be deleted. If you wish to delete
 that profile, first set another profile as <link
 xref="#set-default">default</link>.
 </note>

</section>

<section id="set-default" style="task">
 <title>Set a default profile</title>

The default profile is loaded when a new terminal is opened unless you
 have selected another profile. Any changes that you make to the settings will
 be stored in the currently selected profile.

The default profile is used when <app>Terminal</app> could not
 otherwise decide which profile to use. For example, <app>Terminal</app> is
 started up freshly and opens its first terminal window. In contrast, when
 you use a menu entry or keyboard shortcut of <app>Terminal</app> to open a
 new terminal, the profile of the existing terminal is used.

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Select the profile you wish to set as the default.
 </item>
 <item>
 Click on the arrow next to the profile name.
 </item>
 <item>
 Select <gui style="menuitem">Set as default</gui>.
 </item>
 </steps>

<note>
 The default profile is marked with a check mark symbol.
 </note>

</section>

</page>

${this.title}

Code Editor : pref-profiles.page