Rileggendo l’ultimo messaggio di OldClaudio ho pensato di provare ad aggiungere manualmente il $PATH necessario nel file /home/user/.bashrc. Ho però pensato di aggiungere il percorso /opt/texbin e non /usr/texbin come da lui indicato, per coerenza con i comandi suggeriti nella guida di Enrico. Per farlo ho aggiunto questa linea al file /home/user/.bashrc:
`export PATH=”/opt/texbin:$PATH”`
Ora il comando which tex restituisce quanto previsto dalla guida di Enrico.
`/opt/texbin/tex`
e il comando pdflatex –version restituisce la giusta versione:
`pdfTeX 3.14159265-2.6-1.40.15 (TeX Live 2014)
kpathsea version 6.2.0
Copyright 2014 Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
There is NO warranty. Redistribution of this software is
covered by the terms of both the pdfTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the pdfTeX source.
Primary author of pdfTeX: Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
Compiled with libpng 1.6.10; using libpng 1.6.10
Compiled with zlib 1.2.8; using zlib 1.2.8
Compiled with xpdf version 3.03`
Non mi è chiaro per quale motivo abbia dovuto procedere in questo modo, in quanto non è segnalato nella guida di Enrico, della quale non ho motivo di dubitare.
EDIT: vorrei chiedervi un parere in merito all’editor da installare. Io ho sempre utilizzato Kile, con il quale mi trovo abbastanza bene, ma a quanto ho letto è meglio non installarlo tramite apt. Ci sono validi motivi per preferire altri editor?