police METAFONT
Type de fichier : Fichier de police et de typographie
Une extension de fichier #gf identifie un fichier de police bitmap généré par METAFONT, le langage et programme de définition de polices développé par Donald Knuth.
Le fichier #gf stocke les données de glyphes rastérisées pour une police et une résolution particulières.
Catégorie de type de fichier :
Fichier de police et de typographie
Date de mise à jour : 5 novembre 2026
METAFONT, développé par Donald Knuth, est un langage de programmation et un interpréteur utilisés pour définir des polices. Il traite les fichiers source METAFONT et produit une sortie bitmap, notamment des fichiers #gf.
Un fichier #gf contient les représentations bitmap des glyphes d’une police, ainsi que les informations nécessaires aux outils de polices associés à TeX. Il s’agit d’un fichier de sortie ou intermédiaire, et non du fichier source METAFONT lui-même.
Les fichiers GF sont utilisés dans le flux de travail des polices TeX. Ils sont généralement convertis en fichiers de polices bitmap plus compacts pour la composition typographique, ou utilisés pour générer une sortie d’épreuve. Les polices bitmap générées peuvent également servir à créer des polices à incorporer dans PostScript. Comme ce format stocke des glyphes raster, il est lié à la résolution pour laquelle la police a été générée.
Un fichier #gf ne s’ouvre généralement pas dans un éditeur de texte et ne se modifie pas directement. Utilisez METAFONT pour générer ces fichiers à partir du code source METAFONT, ou utilisez un utilitaire TeX tel que GFtoDVI pour créer une sortie d’épreuve à partir de la police bitmap.
Utilisez GFtoPK, un utilitaire TeX standard, pour convertir un fichier #gf en police bitmap compressée PK utilisable par les logiciels TeX. Le résultat reste une police raster à la résolution sélectionnée.
Pour obtenir une résolution différente ou un format de police réellement différent, régénérez la police à partir de sa source METAFONT plutôt que de convertir le fichier bitmap existant.
Language