Il s'agit de la commande gftopk qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS.
PROGRAMME:
Nom
gftopk - convertit les fichiers de polices génériques en fichiers de polices compressés
SYNOPSIS
gftopk [-v] nom_fichier_gf [pk_file_name]
DESCRIPTION
Cette page de manuel ne prétend pas être exhaustive. La documentation complète pour ce
la version de TeX peut être trouvée dans le fichier d'informations ou le manuel Web2C : A Texas la mise en oeuvre.
Le gftopk Le programme convertit un fichier de police générique généré, par exemple, mf(1), à un panier
fichier de police à utiliser par les programmes de lecture DVI. Fichiers de polices compressés (pk fichiers) sont beaucoup plus petits
que le correspondant gf fichiers, ils constituent donc généralement le format de police de choix.
Le nom_fichier_gf sur la ligne de commande doit être complet. Parce que la résolution fait partie de
l'extension, cela n'aurait aucun sens d'ajouter une extension par défaut comme cela se fait avec TeX
ou un logiciel de lecture DVI. Les pk_file_name par défaut le même nom (supprimé) que
nom_fichier_gf, et il est placé dans le répertoire de travail courant avec le pk suffixe
remplaçant gf. Par exemple, le fichier d'entrée cmr10.300gf deviendrait cmr10.300pk.
OPTIONS
Sauf si -v l'interrupteur est donné, gftopk fonctionne silencieusement. Avec -v, le numéro de version de
le programme et les statistiques sur l'emballage sont envoyés vers Stdout.
ENVIRONNEMENT
gftopk cherche des nom_fichier_gf d'abord dans le répertoire courant. S'il n'y est pas présent,
il utilise la variable d'environnement GFFONTS. Si cela n'est pas défini, il utilise la variable
TEXTES. Si cela n’est pas défini, il utilise la valeur par défaut du système.
See Texas(1) pour les détails de la recherche.
Utilisez gftopk en ligne à l'aide des services onworks.net
