Contents of Erzeugung neuer base-Dateien mit IniMF

Erzeugung neuer base-Dateien mit IniMF

Obwohl Sie eine betriebsfertige plain.base-Datei in diesem Paket finden, kann es sein, daß Sie zusätzliche base-Dateien erzeugen wollen, die andere ${\manual META}$ ${\manual FONT}$ -Kommandos als die Standardeinstellung aus dem , ${\manual META}$ ${\manual FONT}$ book` [4] enthalten. Zu diesem Zweck gibt es das Programm Ini ${\mc MF}$ , das in der Lage ist, solche neuen binären base-Dateien zu erzeugen, die dann sehr schnell nachgeladen werden können. Wenn Sie Ini ${\mc MF}$ vom ${\mc CLI}$ (command line input, die Shell) ohne Argumente aufrufen, meldet es sich mit zwei Sternchen, die anzeigen, daß „ ${\manual META}$ ${\manual FONT}$ begierig darauf ist, Großes zu leisten`` und Sie „bitte einen Dateinamen eingeben`` sollen.

   > IniMF
   This is METAFONT, C Version 2.71 (INIMF)
   **

Wenn Sie dem hier gegebenen Vorschlag folgen, ist es ganz einfach, den nächsten Schritt zu tun. Beantworten Sie die ${\manual META}$ ${\manual FONT}$ -Eingabeaufforderung mit dem Namen eines „Initialisierungsprogrammes`` wie zum Beispiel des mitgelieferten plain.inimf oder cm.inimf und der Rest wird völlig automatisch ausgeführt, so daß schnell eine neue base-Datei plain.base oder cm.base entsteht. Oder Sie geben eine Folge von input-Kommandos ein, um mehrere Dateien in die base einzubinden. Das letzte Kommando sollte dump lauten; dies weist Ini ${\mc MF}$ an, die verdichtete Kommandodatei zu erzeugen und seinen Bearbeitungslauf zu beenden.

Alternativ können Sie auch folgenden Einzeiler eingeben

   > IniMF plain.inimf

was zum gleichen Ergebnis wie oben führt.