This file is indexed.

/usr/share/help/fr/gnome-terminal/pref-profiles.page is in gnome-terminal-data 3.22.2-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="guide" id="pref-profiles" xml:lang="fr">

  <info>
    <revision pkgversion="3.8" date="2013-03-03" status="candidate"/>
    <revision pkgversion="3.12" date="2014-09-08" status="candidate"/>
    <link type="guide" xref="index#preferences"/>
    <link type="guide" xref="pref"/>

    <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>

    <include xmlns="http://www.w3.org/2001/XInclude" href="legal.xml"/>

    <desc>Créer, modifier et supprimer des profils.</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>

  <p>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>.</p>

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

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

  <p>Le profil par défaut est chargé quand un nouveau terminal est ouvert, sauf si vous avez choisi un autre profil. Toutes les modifications que vous apportez aux paramètres seront stockées dans le profil actuellement utilisé.</p>

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

    <p>Le profil par défaut est une collection de paramètres de profil appliqués lors du lancement de chaque onglet ou fenêtre de <app>Terminal</app>.</p>

    <steps>
      <item>
        <p>Sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences</gui> <gui style="tab">Profils</gui></guiseq>.</p>
      </item>
      <item>
        <p>Sélectionnez le profil à définir par défaut à partir de <gui>Profil utilisé lors du lancement d'un nouveau terminal</gui> dans la liste déroulante.</p>
      </item>
    </steps>

  </section>

  <section id="select-profile" style="task">
    <title>Sélectionnez un profil</title>

    <p>Vous pouvez changer le profil de l'onglet ou de la fenêtre active de <app>Terminal</app> en sélectionnant un profil via <guiseq><gui style="menu">Terminal</gui><gui style="menuitem">Changer de profil</gui></guiseq>.</p>

  </section>

  <section id="new-profile" style="task">
    <title>Création d'un nouveau profil</title>

    <p>Tout changement pour un nouveau profil est automatiquement enregistré. Pour créer un nouveau profil : </p>

    <steps>
      <item>
        <p>Sélectionnez <guiseq><gui style="menu">Fichier</gui> <gui style="menuitem">Nouveau profil</gui></guiseq>.</p>
      </item>
      <item>
        <p>Saisissez un nom pour le nouveau profil à côté de <gui style="input">Nom du profil</gui>.</p>
      </item>
      <item>
        <p>Sélectionnez <link xref="app-fonts">police</link>, <link xref="app-cursor">forme du curseur</link> et <link xref="app-terminal-sizes">taille de la fenêtre</link> dans l'onglet <gui style="tab">Général</gui>.</p>
      </item>
      <item>
        <p>Définissez le comportement que vous préférez pour la <link xref="pref-custom-exit">commande <cmd>exit</cmd></link>. Vous pouvez également définir un <link xref="pref-custom-command">shell personnalisé</link> dans l'onglet <gui style="tab">Commande</gui>.</p>
      </item>
      <item>
        <p>Définissez vos <link xref="app-colors">palette et couleurs</link> préférées dans l'onglet <gui style="tab">Couleurs</gui>.</p>
      </item>
      <item>
        <p>Définissez votre <link xref="pref-scrolling">préférence de défilement</link> dans l'onglet <gui style="tab">Défilement</gui>.</p>
      </item>
    </steps>

  </section>

  <section id="create-profile-from-existing" style="task">
    <title>Création d'un nouveau profil basé sur un profil existant</title>

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

    <steps>
      <item>
        <p>Sélectionnez le profil que vous souhaitez modifier via <guiseq><gui style="menu">Terminal</gui> <gui style="menuitem">Changer de profil</gui> <gui style="menuitem"><var>Nom du profil</var></gui></guiseq><var>Nom du profil</var> est le nom du profil que vous souhaitez modifier. Vous pouvez aussi sélectionner <guiseq> <gui style="menu">Fichier</gui> <gui style="menuitem">Nouveau profil</gui></guiseq> pour cloner le profil que vous êtes en train d'utiliser actuellement.</p>
      </item>
      <item>
        <p>Définissez les <link xref="#edit-profile">préférences de profil</link> que vous souhaitez. Elles sont enregistrées automatiquement. Si vous ne mettez pas à jour le <gui>nom du profil</gui> dans l'onglet <gui style="tab">Général </gui>, le nouveau profil n'écrase pas le profil dont il est issu.</p>
      </item>
    </steps>

    <p>Vous pouvez aussi d'abord faire une copie du profil existant et ensuite la modifier : </p>

    <steps>
      <item>
        <p>Sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences</gui> <gui style="tab">Profils</gui></guiseq>.</p>
      </item>
      <item>
        <p>Sélectionnez le profil désiré.</p>
      </item>
      <item>
        <p>Cliquez sur <gui style="button">Cloner</gui>.</p>
      </item>
      <item>
        <p>Définissez les <link xref="#edit-profile">préférences de profil</link> que vous souhaitez. Elles sont enregistrées automatiquement. Si vous ne mettez pas à jour le nom du profil, le nouveau profil n'écrase pas le profil dont il est issu.</p>
      </item>
    </steps>

    <note>
      <p>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.</p>
    </note>

  </section>

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

    <note style="warning">
      <p>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> <em>risque</em> 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é.</p>
    </note>

    <p>Vous pouvez effectuer des changements sur les profils existants. Pour modifier un profil, sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences du profil</gui></guiseq>.</p>

    <steps>
      <item>
        <p>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>.</p>
      </item>
      <item>
        <p>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>.</p>
      </item>
      <item>
        <p>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>.</p>
      </item>
      <item>
        <p>Les changements de profil sont enregistrés immédiatement. Pour revenir dans <app>Terminal</app>, cliquez sur <gui style="button">Fermer</gui>.</p>
      </item>
    </steps>

    <note style="important">
      <p>Pour vous assurer que vous êtes en train de modifier le profil souhaité, sélectionnez le profil à partir de <guiseq><gui style="menu">Terminal</gui><gui style="menuitem">Changer le profil</gui></guiseq>.</p>
    </note>

  </section>

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

    <p>Vous pouvez renommer un profil existant, incluant le profil par défaut : </p>

    <steps>
      <item>
        <p>Sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences</gui> <gui style="tab">Profils</gui></guiseq>.</p>
      </item>
      <item>
        <p>Sélectionnez un profil que vous souhaitez renommer.</p>
      </item>
      <item>
        <p>Cliquez sur <gui style="button">Modifier</gui>. Cela ouvre la boîte de dialogue des préférences pour le profil sélectionné.</p>
      </item>
      <item>
        <p>Dans le champ <gui>Nom du profil</gui>, saisissez le nouveau nom de profil.</p>
      </item>
      <item>
        <p>Cliquez sur <gui style="button">Fermer</gui> pour retourner à <app>Terminal</app>.</p>
      </item>
    </steps>

  </section>

  <section id="delete-profile" style="task">
    <title>Suppression d'un profil</title>
  
    <p>Pour supprimer un profil : </p>

    <steps>
      <item>
        <p>Sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences</gui> <gui style="tab">Profils</gui></guiseq>.</p>
      </item>
      <item>
        <p>Sélectionnez le profil que vous souhaitez supprimer.</p>
      </item>
      <item>
        <p>Cliquez sur <gui style="button">Supprimer</gui>.</p>
      </item>
    </steps>

  </section>

</page>