Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 5_fichiers:fontes:gftopk_et_pktogf [2021/10/18 09:47] – Création de la page à partir des pages de manuel. jejust
+++ 5_fichiers:fontes:gftopk_et_pktogf [2022/10/10 15:43] (Version actuelle) – Usage de ⟨...⟩ dbitouze
@@ Ligne 1: / Ligne 1: @@
-====== À quoi servent “gftopk” & “pktogf”? ======
+====== À quoi servent “gftopk” et “pktogf”? ======
-$\Reponse$  Les programmes ''gftopk'' et ''pktogf'' sont deux petits utilitaires qui servent à compresser et décompresser
+Les programmes ''gftopk'' et ''pktogf'' sont deux petits utilitaires qui servent à compresser et décompresser
 les fichiers de fontes produits par [[1_generalites:glossaire:qu_est_ce_que_metafont|MetaFont]].
-Typiquement, le programme MetaFont (''mf'') compile un fichier source, d’extension ''.mf'', pour produire:
+Typiquement, le programme MetaFont (''mf'') compile un fichier source, d’extension MF, pour produire :
-  * un fichier de fonte matricielle (//raster font//) dont l'extension se termine par ''gf'' (pour « //generic font// »),
+  * un fichier de fonte matricielle (//raster font//) dont l'extension se termine par GF (pour « //generic font// ») ;
-  * un fichier ''.tfm'', pour « //TeX font metrics// »
+  * un fichier d'extension TFM, pour « //TeX font metrics// » ;
-  * et un fichier de log.
+  * et un fichier journal.
-Généralement, après cette compilation, on compresse le fichier ''gf'' en un fichier ''pk'' (//packed raster file//),
+Généralement, après cette compilation, on compresse le fichier GF en un fichier PK (//packed raster file//),
-de taille beaucoup plus petite, à l’aide du programme ''gftopk''. Les fichiers ''pk'' peuvent être directement utilisés
+de taille beaucoup plus petite, à l’aide du programme ''gftopk''. Les fichiers PK peuvent être directement utilisés
 par les logiciels qui lisent les fichiers DVI (pour affichage sur écran ou conversion en PostScript ou PDF).
-''pktogf'' réalise l'opération inverse, en décompressant les fichiers ''pk'' pour donner des fichiers ''gf''.
+''pktogf'' réalise l'opération inverse, en décompressant les fichiers PK pour donner des fichiers GF.
-Leur syntaxe est très simple:
+Leur syntaxe est très simple :
 <code bash>
-gftopk fichier_gf [ fichier_pk ]
+gftopk fichier_GF [ fichier_PK ]
-pktogf fichier_pk [ fichier_gf ]
+pktogf fichier_PK [ fichier_GF ]
 </code>
@@ Ligne 27: / Ligne 27: @@
 <note important>
-Le nom de fichier ''<//fichier_gf//>'' donné en argument doit être complet (avec son extension).
+Le nom de fichier ''⟨//fichier_GF//⟩'' donné en argument doit être complet (avec son extension).
-En effet, pour les fichiers ''gf'', la résolution de la fonte fait partie de l'extension complète
+En effet, pour chaque ''⟨//fichier_GF//⟩'', la résolution de la fonte fait partie de l'extension complète
 (par exemple ''.300gf'' pour un fichier à 300 DPI) et ça n'aurait donc pas de sens qu'une extension
 par défaut soit attendue.
-S'il n'est pas donné, le nom du fichier ''pk'' de sortie sera construit à partir du nom de fichier d'entrée,
+S'il n'est pas donné, le nom du fichier PK de sortie sera construit à partir du nom de fichier d'entrée,
-en remplaçant ''gf'' par ''pk'': par exemple ''cmr10.300gf'' deviendra ''cmr10.300pk''.
+en remplaçant GF par PK : par exemple ''cmr10.300gf'' deviendra ''cmr10.300pk''.
 </note>
 -----
-//Sources://
+//Sources ://
   * [[https://linux.die.net/man/1/gftopk|gftopk manual page]],
   * [[https://linux.die.net/man/1/pktogf|pktogf manual page]].
 {{htmlmetatags>metatag-keywords=(LaTeX,metafont,définition,conversion de format de fonte)
-metatag-og:title=(À quoi servent “gftopk” et “pktogf”?)
+metatag-og:title=(À quoi servent “gftopk” et “pktogf”)
 metatag-og:site_name=(FAQ LaTeX francophone)
 }}