This file is indexed.

/usr/share/help/fr/gnome-terminal/app-fonts.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
<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" type="task" id="app-fonts" xml:lang="fr">

  <info>
    <revision version="0.1" date="2013-02-22" status="candidate"/>
    <link type="guide" xref="index#appearance"/>
    <link type="guide" xref="profile"/>

    <credit type="author copyright">
      <name>Sindhu S</name>
      <email>sindhus@live.in</email>
      <years>2013</years>
    </credit>
    <credit type="copyright editor">
      <name>Ekaterina Gerasimova</name>
      <email>kittykat3756@gmail.com</email>
      <years>2013</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>Utiliser les polices du système ou choisir une police personnalisée pour votre terminal.</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>Changer la police et le style</title>

  <p>Lorsque vous travaillez sur beaucoup de texte <app>Terminal</app>, vous pouvez modifier la police par défaut selon vos préférences. Vous disposez des options suivantes :</p>

  <section id="system-font">
  <title>Police système à chasse fixe</title>

  <p>Pour utiliser les polices par défaut du système : </p>

  <steps>
    <item>
      <p>Sélectionnez <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences du profil</gui> <gui style="tab">Général</gui></guiseq>.</p>
    </item>
    <item>
      <p>Sélectionner <gui style="checkbox">Utiliser la police à chasse fixe du système</gui>.</p>
    </item>
  </steps>

  </section>

  <section id="custom-font">
  <title>Définition d'une police personnalisée</title>

  <p>Pour définir une taille et une police personnalisées : </p>

  <steps>
    <item>
      <p>Sélectionner <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences du profil</gui> <gui style="tab">Général</gui></guiseq>.</p>
    </item>
    <item>
      <p>Assurez-vous que l'option <gui>Utiliser la police à chasse fixe du système</gui> n'est pas cochée.</p>
    </item>
    <item>
      <p>Cliquez sur le bouton à coté de <gui>Police</gui>.</p>
    </item>
    <item>
      <p>Saisissez le nom de la police désirée dans le champ de recherche ou parcourez la liste des polices.</p>
    </item>
    <item>
      <p>Faites glisser le curseur qui est en dessous de la liste des polices pour définir la taille de la police. Sinon, vous pouvez saisir la taille de la police dans le champ à côté du curseur, ou cliquer sur <gui style="button">+</gui> pour augmenter la taille de la police ou <gui style="button">-</gui> pour diminuer la taille de police sélectionnée.</p>
    </item>
    <item>
      <p>Cliquez sur <gui style="button">Sélectionner</gui> pour appliquer vos changements. Pour annuler les changements et revenir dans la fenêtre de dialogue précédente, cliquez sur <gui style="button">Annuler</gui>.</p>
    </item>
  </steps>

  </section>

  <section id="bold-fonts">
  <title>Texte gras</title>

  <p><app>Terminal</app> permet au shell de traiter des textes comme l'invite, les noms de répertoire, ou les en-têtes de page « man » (de manuels) pour qu'ils apparaissent en gras.</p>

  <steps>
    <item>
      <p>Allez sur <guiseq><gui style="menu">Édition</gui> <gui style="menuitem">Préférences du profil</gui> <gui style="tab">Général</gui></guiseq>.</p>
    </item>
    <item>
      <p>Sélectionner <gui style="checkbox">Activer le texte en gras</gui>.</p>
    </item>
  </steps>

  <note style="important">
    <p><gui style="checkbox">Activer le texte en gras</gui> est une fonctionnalité spécifique du shell. Si vous utilisez un shell autre que Bash,le comportement décrit ne sera peut-être pas le même.</p>
  </note>

  </section>

</page>