TEX pour l'Impatient - Apprendre en ligne.net

24 Sep 2004 2:48 p.m.TEX pour l’Impatient N o 91fichier format 69avec un fichier d’entrée peut-être utile quand vous voulez utiliser le mêmefichier d’entrée pour deux usages différents.D’habitude, TEX diffère les actions d’ouverture, d’écriture et de fermetured’un flot de sortie jusqu’a ce qu’il enregistre une page avec \shipout(voir la page 227 de The TEXbook et 266 de la traduction française pourles détails). Cette propriété s’applique même aux messages écrits sur leterminal avec \write. Mais vous pouvez demander à TEX de faire une actionsur un flot de sortie immédiatement en faisant précéder la commanded’action de \immediate (p. 258). Par exemple :\immediate\write16{Do not pass GO! Do not collect $200!}fichier format. Un fichier format est un fichier qui contient une imagede la mémoire de TEX sous la forme dans laquelle il peut être rechargérapidement. Un fichier format peut être créé avec la commande \dump(p. 271). L’image contient un enregistrement complet des définitions (depolices, macros, etc.) qui étaient présentes quand le dump a été effectué.En utilisant virtex, un forme spéciale “vierge” de TEX, vous pouvez rechargerle fichier format à haute vitesse et continuer avec le même étatdans lequel était TEX au moment du dump. L’avantage du fichier formatsur un fichier d’ entrée ordinaire contenant la même information est queTEX peut la charger beaucoup plus vite.Des fichiers de format doivent être créés par initex, une forme spécialede TEX écrite à cette intention. Ni virtex, ni initex n’ont d’outils autresque les primitives construites dans le programme TEX lui-même.Une forme préchargée de TEX est celle qui a un fichier format conformechargé et est prêt à accepter l’entrée de l’utilisateur. La forme de TEXqui se nomme tex a souvent les définitions plain TEX préchargées. (PlainTEX est normalement fourni sous deux autres formes : comme une fichierde format et comme une fichier source de TEX. Dans certains environnements,tex est équivalent à appeler virtex et charge alors plain.) Créerdes formes préchargées de TEX nécessite un programme spécial ; il ne peutpas être fait en n’utilisant que les outils de TEX lui-même.fichier log. Voir “fichier” (p. 67).filets. Un filet est un rectangle plein noir. Un filet, comme une boîte,a une largeur, une hauteur et une profondeur. La dimension verticaledu rectangle est la somme de sa hauteur et de sa profondeur. Une lignedroite horizontale ou verticale est un cas spécial de filet.Un filet peut être soit horizontal, soit vertical. La distinction entre unfilet horizontal et un vertical diffère selon la façon de produire le filet,un filet vertical peut être court et épais (et donc ressembler à une lignehorizontale), tandis qu’un filet horizontal peut être grand et maigre (etdonc ressembler à une ligne verticale). La notion de filet de TEX est plusgénérale que celle des typographes, qui pensent à un filet comme à uneligne et ne veulent habituellement pas appeler filet une boîte noire carrée.