Différences

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

Lien vers cette vue comparative

5_fichiers:fontes:gftopk_et_pktogf [2021/10/18 09:47]
jejust Création de la page à partir des pages de manuel.
5_fichiers:fontes:gftopk_et_pktogf [2022/01/20 07:58] (Version actuelle)
yannick.tanguy Correction de la mise en forme.
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]]. 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). 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> <code bash>
-gftopk fichier_gf fichier_pk ]+gftopk fichier_GF fichier_PK ]
  
-pktogf fichier_pk fichier_gf +pktogf fichier_PK fichier_GF 
 </code> </code>
  
Ligne 27: Ligne 27:
  
 <note important> <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 les fichiers 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 exemple ''.300gf'' pour un fichier à 300 DPI) et ça n'aurait donc pas de sens qu'une extension
 par défaut soit attendue. 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> </note>
- 
  
 ----- -----
-//Sources://+//Sources ://
   * [[https://linux.die.net/man/1/gftopk|gftopk manual page]],   * [[https://linux.die.net/man/1/gftopk|gftopk manual page]],
   * [[https://linux.die.net/man/1/pktogf|pktogf manual page]].   * [[https://linux.die.net/man/1/pktogf|pktogf manual page]].
  
 {{htmlmetatags>metatag-keywords=(LaTeX,metafont,définition,conversion de format de fonte) {{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) metatag-og:site_name=(FAQ LaTeX francophone)
 }} }}
5_fichiers/fontes/gftopk_et_pktogf.txt · Dernière modification: 2022/01/20 07:58 de yannick.tanguy
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0