Installare e usare un plugin

Di solito un plugin, che chiamiamo genericamente mioplugin, viene reso disponibile in alcuni siti web in formato tarball binario con il nome

    mioplugin-version-architecture.tar.gz

Se si installa TeXmacs nella directory $TEXMACS_PATH, allora si dovrà scompattare questo tarball nella directory $TEXMACS_PATH/plugins, utilizzando il comando

    tar -zxvf mioplugin-version-architecture.tar.gz

In tal modo verrà creata la sottodirectory mioplugin in $TEXMACS_PATH/plugins. Dopo aver fatto ripartire TeXmacs il plugin dovrebbe essere automaticamente riconosciuto. Siete comunque pregati di leggere la documentazione relativa al plugin che volete utilizzare per capirne bene il funzionamento.

Importante 1. Se non avete eseguito personalmente l'installazione di TeXmacs o se non avete accesso diretto alla directory $TEXMACS_PATH, potete scompattare il tarball direttamente nella directory $TEXMACS_HOME_PATH/plugins. Infatti ricordiamo che $TEXMACS_HOME_PATH è per default $HOME/.TeXmacs. Dopo aver fatto ripartire TeXmacs il plugin dovrebbe, anche questa volta, essere automaticamente riconosciuto.

Importante 2. Se un plugin viene distribuito come tarball sorgente del tipo mioplugin-version-src.tar.gz allora è necessario, prima di rilanciare TeXmacs, compilare il codice sorgente del plugin. In relazione ai diversi plugin (leggere le istruzioni) ciò di norma viene fatto attraverso il comando

    cd mioplugin; make

o

    cd mioplugin; ./configure; make

Importante 3. Per l'aggiornamento di un plugin è sufficiente rimuovere la versione vecchia contenuta in $TEXMACS_PATH/plugins o in $TEXMACS_HOME_PATH/plugins, utilizzando il comando

    rm -rf mioplugin

e quindi reinstallare la versione aggiornata.