Il s'agit de la commande gftodvi 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
gftodvi - créer des épreuves à partir de fichiers de polices génériques
SYNOPSIS
gftodvi [-overflow-label-offset=réal] [-verbeux] nom_fichier_gf
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 gftodvi programme convertit une police générique (gf) sortie de fichier par, par exemple, mf(1), à un
fichier indépendant du périphérique (DVI) (qui peut ensuite être composé à l'aide du même logiciel qui a
déjà été écrit pour TeX). Les personnages dans le gf le fichier apparaîtra un par page,
avec des étiquettes, des titres et des annotations comme spécifié dans l'annexe H (Epreuves papier) de Le
Métafontbook.
gftodvi utilise d'autres polices en plus de la police principale gf déposer. Une police 'gris' est utilisée pour
composez les pixels qui composent réellement le personnage. (Nous ne voudrions pas que tous les pixels
être simplement noir, car les étiquettes, les points clés et d'autres informations seraient alors perdus.)
Une police 'title' est utilisée pour les informations en haut de la page. Une police "label" est utilisée
pour les étiquettes sur les points clés de la figure. Une police « slant » est utilisée pour composer la diagonale
lignes, qui autrement doivent être simulées à l'aide de règles horizontales et verticales. Les
les polices de gris, de titre et d'étiquette par défaut sont gris, cmr8 et cmtt10, respectivement; il n'y a pas
police inclinée par défaut.
Pour changer les polices par défaut, vous pouvez donner pour un spécial commandes dans votre fichier source Metafont,
ou vous pouvez changer les polices en ligne. Une boîte de dialogue en ligne s'ensuit si vous terminez le nom_fichier_gf
avec un `/'. Par exemple,
gftodvi cmr10.300gf/
Substitution de police spéciale : grayfont black
D'ACCORD; plus? grayfontarea /home/art/don/
D'ACCORD; plus? slantfont /home/fonts/slantimagen6
D'ACCORD; plus?
utilisera /accueil/art/don/noir comme la police "gris" et /accueil/fonts/slantimagen6 car
police `slant' (ce nom indique une police pour les lignes avec une pente 1/6 à la résolution d'un
Imprimante Imagen).
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. Le nom du fichier de sortie utilise la même racine que le gf fichier, avec le
.dvi extension ajoutée. Par exemple, le fichier d'entrée cmr10.2602gf deviendrait cmr10.dvi.
OPTIONS
L'argument pour -débordement-étiquette-offset spécifie la distance à partir du bord droit de la
cadre de délimitation des caractères dans lequel les équations de débordement (le cas échéant) sont composées. La valeur est
donné en points TeX. La valeur par défaut est un peu plus de deux pouces.
Sans le -verbeux option, gftodvi fonctionne silencieusement. Avec elle, une bannière et un progrès
rapport sont imprimés sur Stdout.
ENVIRONNEMENT
gftodvi cherche des nom_fichier_gf en utilisant la variable d'environnement GFFATS. Si ce n'est pas
défini, il utilise la variable TEXFONTS. Si ce 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 gftodvi en ligne en utilisant les services onworks.net
