Prochaine révision | Révision précédente |
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 |
---|
====== À 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> |
| |
| |
<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 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 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) |
}} | }} |