文件操作 - pref-profiles.page

文件: /usr/share/help/fr/gnome-terminal/pref-profiles.page

编辑文件内容

<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="guide" id="pref-profiles" xml:lang="fr">

<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>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Yoann Fievez</mal:name>
 <mal:email>yoann.fievez@gmail.com</mal:email>
 <mal:years>2013</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Julien Hardelin</mal:name>
 <mal:email>jhardlin@orange.fr</mal:email>
 <mal:years>2013</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Alexandre Franke</mal:name>
 <mal:email>alexandre.franke@gmail.com</mal:email>
 <mal:years>2014</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Alain Lojewski</mal:name>
 <mal:email>allomervan@gmail.com</mal:email>
 <mal:years>2014</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Jérôme Sirgue</mal:name>
 <mal:email>jsirgue@free.fr</mal:email>
 <mal:years>2014</mal:years>
 </mal:credit>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Guillaume Bernard</mal:name>
 <mal:email>translate@filorin.fr</mal:email>
 <mal:years>2015</mal:years>
 </mal:credit>
 </info>

<title>Gestion des profils</title>

Un profil est un ensemble de paramètres de <app>Terminal</app>. <app>Terminal</app> prend en charge plusieurs profils. Vous pouvez configurer les profils de <app>Terminal</app> dans <link xref="pref-custom-command">Lancer une commande ou un shell personnalisés</link>, définir un profil exclusivement pour vous connecter à des ordinateurs distants à l'aide de SSH ou définir un profil qui lance une session <app>GNU Screen</app>.

Les paramètres de <app>Terminal</app> disponibles incluent :

<list>
 <item>
 Nom du profil.
 </item>
 <item>
 Couleurs de la police et du fond d'écran.
 </item>
 <item>
 <gui style="tab">Compatibilité</gui> avec les touches <key>Retour arrière</key> et <key>Supprimer</key>.
 </item>
 <item>
 <gui style="tab">Défilement</gui>.
 </item>
 </list>

<section id="select-profile" style="task">
 <title>Sélectionnez un profil</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>Création d'un nouveau profil</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>Création d'un nouveau profil basé sur un profil existant</title>

Vous pouvez créer un nouveau profil en fonction des paramètres d'un profil existant :

<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>
 La création d'un nouveau profil à partir d'un profil existant n'affectera pas les paramètres du profil existant. Toutes les modifications apportées aux paramètres seront stockées dans le nouveau profil.
 </note>

</section>

<section id="edit-profile" style="task">
 <title>Modification d'un profil</title>

<note style="warning">
 Si vous modifiez le profil par défaut, vous ne pourrez plus le restaurer à ses paramètres d'origine ! Si vous n'aviez pas encore créé d'autre profil de <app>Terminal</app> et que vous avez personnalisé le profil par défaut, alors <app>Terminal</app> risque de devenir inutilisable si par malchance un des paramètres pose problème. C'est pourquoi nous vous recommandons de <link xref="#create-profile-from-existing">faire une copie du profil par défaut</link> d'abord, puis de le modifier ensuite pour créer un profil personnalisé.
 </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>
 Sélectionnez <link xref="app-fonts">police</link>, <link xref="app-cursor">formes du curseur</link> et <link xref="app-terminal-sizes">taille de <app>Terminal</app></link>.
 </item>
 <item>
 Vous pouvez aussi modifier le comportement de <app>Terminal</app> pour la <link xref="pref-custom-exit">sortie de commande</link>, définir un <link xref="pref-login-shell">shell de connexion personnalisé</link> ou changer les <link xref="pref-scrolling">préférences de la barre de défilement</link>.
 </item>
 <item>
 Pour changer le fond d'écran de <app>Terminal</app> et les couleurs du texte, consultez <link xref="app-colors"> les palettes de couleur de <app>Terminal</app></link>.
 </item>
 <item>
 Les changements de profil sont enregistrés immédiatement. Pour revenir dans <app>Terminal</app>, cliquez sur <gui style="button">Fermer</gui>.
 </item>
 </steps>

</section>

<section id="rename-profile" style="task">
 <title>Renommage d'un profil existant</title>

Vous pouvez renommer un profil existant, incluant le profil par défaut :

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Sélectionnez un profil que vous souhaitez renommer.
 </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>
 
 Pour supprimer un profil :

<steps>
 <item>
 Select <guiseq><gui style="menu">Edit</gui>
 <gui style="menuitem">Preferences</gui></guiseq>.
 </item>
 <item>
 Sélectionnez le profil que vous souhaitez supprimer.
 </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>

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.

<section id="set-default" style="task">
 <title>Définir un profil par défaut</title>

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>

文件操作 - pref-profiles.page

文件: /usr/share/help/fr/gnome-terminal/pref-profiles.page

编辑文件内容

修改文件时间

删除文件