30 Giugno 2012 alle 12:46
#75643
::
Ho appena terminato l’installazione.
Ho eseguito le seguenti operazioni (come da guida di Enrico):
$ cd ~/texlive-install
$ echo ‘export PATH=/opt/texbin:${PATH}’ > texlive.sh
$ sudo cp texlive.sh /etc/profile.d/
$ sudo mkdir -p /opt
$ sudo ln -s /usr/local/texlive/2010/bin/x86_64-linux /opt/texbin
“A questo punto si deve eseguire il logout, perché il sistema deve digerire la modifica. Rifatto il login, riapriamo una sessione del terminale e controlliamo che tutto sia a posto; il comando”
$ which tex
MA NON HO OTTENUTO: /opt/texbin/tex.
Cosa devo fare? Penso che questa volta l’installazione sia andata a buon fine.