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 11:47] (Version actuelle)
jejust Création de la page à partir des pages de manuel.
Ligne 1: Ligne 1:
 +====== À quoi servent “gftopk” & “pktogf”?​ ======
  
 +$\Reponse$ ​ 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:
 +  * un fichier de fonte matricielle (//raster font//) dont l'​extension se termine par ''​gf''​ (pour « //generic font// »),
 +  * un fichier ''​.tfm'',​ pour « //TeX font metrics// »
 +  * et un fichier de log.
 +
 +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
 +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''​.
 +
 +Leur syntaxe est très simple:
 +
 +<code bash>
 +gftopk fichier_gf [ fichier_pk ]
 +
 +pktogf fichier_pk [ fichier_gf ] 
 +</​code>​
 +
 +Si l'​utilisateur veut avoir des détails sur la conversion en cours,
 +il est possible d'​ajouter l'​option ''​-v''​ (mode //​v//​erbeux) à la ligne de commande.
 +
 +<note important>​
 +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
 +(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,​
 +en remplaçant ''​gf''​ par ''​pk'':​ par exemple ''​cmr10.300gf''​ deviendra ''​cmr10.300pk''​.
 +</​note>​
 +
 +
 +-----
 +//​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:​site_name=(FAQ LaTeX francophone)
 +}}
5_fichiers/fontes/gftopk_et_pktogf.txt · Dernière modification: 2021/10/18 11:47 par jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0