Re: usare font ttf con LateX

#865
admin
Amministratore del forum
    Up
    0
    Down
    ::

    Ti ringrazio, ma il sito che mi hai segnalato dice come fare su windows. Io lavoro invece su linux (ho la red hat 9.0). Conosci altri siti che potrebbero aiutarmi?

    Non vorrei dire grosse castronerie, ma l’unica cosa che credo cambi di queste modifiche fra Winzozz e Linux sono le directories e il texhash alla fine. Io credo che un utente Linux (come lo sono anch’io), abbia una intelligenza sufficiente (visto che ha avuto l’intelligenza di cambiare S.O. :D) per poter adattare alcune istruzioni per Winzozz a Linux. Ammesso e concesso che, purtroppo, ora non ho tempo di testare le istruzioni riportate su quella pagina sulla mia Debian e che non conosco il file system della Red Hat, credo tutto ciò si possa fare anche con le sole istruzioni che hai ricevuto. Si tratta solo di avere installati i pacchetti giusti.
    Spero di avere un po’ di tempo per darti delle ulteriori informazioni, fossi in te però non ci conterei troppo.
    Rimango comunque disponibile a fornirti ulteriori chiarimenti, se lo ritieni necessario.
    Ciao, facci sapere.

    Non credo necessiti chissà quale intelligenza per accorgersi della convenienza di passare a linux… il problema, forse, è che necessitano invece competenze che non tutti hanno (come ad esempio chi, come me, è alle prime armi).
    Nella spiegazione di quel sito, ad esempio, viene detto inizialmente (se ho capito bene) di convertire il file dei font in ttf in due nuovi file in tfm e vf.
    In windows, come viene scritto nel sito, bisognerebbe scrivere:
    ttf2tfm times.ttf -q -T T1-WGL4.enc -v ectimes.vpl rectimes.tfm >> ttfonts.map
    e
    vptovf ectimes.vpl ectimes.vf ectimes.tfm
    essendo times.ttf il file di partenza originario. Ovviamente in linux tutto questo non funziona. Ho cercato allora in rete dei pacchetti che pottessero fare tale conversione, ma evidentemente per poca esperienza (o scarsa intelligenza) non ho trovato nulla.
    Adunque sono qui bloccato.
    Saluti a tutti.

    Go to top