- Questo topic ha 7 risposte, 4 partecipanti ed è stato aggiornato l'ultima volta 13 anni, 3 mesi fa da .
-
Topic
-
Recentemente ho installato texlive2012 sulla nuova Debian 7.0 Wheezy.
Ho seguito puntigliosamente le indicazioni del Prof. Gregorio che ho trovato a questo link http://profs.sci.univr.it/~gregorio/texlive-YEAR-ubuntu.pdf
Volevo solo fare alcune precisazioni, soprattutto per chi non utilizza Ubuntu e soprattutto per chi utilizza le distribuzioni basate su Debian pura e non Ubuntu.
Su queste ultime, a volte, non abbiamo l’utente normale facente parte del gruppo “sudo”, pertanto bisogna agire come spiegato nei punti seguenti.
Il tutto con estrema umiltà e rispetto per il Prof. Gregorio che ha spiegato perfettamente l’installazione su Ubuntu.– installare normalmente texlive2012 (con la iso o via rete). Notare che, per la versione iso DVD, il comando di installazione deve essere impartito nel seguente modo,
dopo essersi loggati come root:
` # ./install -gui -lang it`
senza utilizzare sudo, altrimenti le directory /usr/ non saranno accessibili.
– perfezionare l’installazione (prendo pari pari dal documento), sempre loggati come root:
`
# echo 'export PATH=/opt/texbin:${PATH}' > texlive.sh
# cp texlive.sh /etc/profile.d/
# sudo mkdir -p /opt `
– creare i links simbolici con
`
# ln -s /usr/local/texlive/2012/bin/i386-linux /opt/texbin
# ln -s /usr/local/texlive/2012/bin/x86_64-linux /opt/texbin
# ln -s /usr/local/texlive/2012/bin/powerpc-linux /opt/texbin `
a seconda della propria architettura. Non cambia questo passaggio descritto dal Prof. Gregorio.
– eseguire il logout e il login. Dare (volendo, ma super-consigliato) il comando “which tex”.
– il seguente listato
`
# Addition for TeX Live
function sutlmgr () {
if [[ -z “$@” ]]
then
/opt/texbin/tlmgr -gui
else
/opt/texbin/tlmgr “$@”
fi
}
alias mktexlsr='/opt/texbin/mktexlsr'
alias updmap-sys='/opt/texbin/updmap-sys'
alias fmtutil-sys='/opt/texbin/fmtutil-sys'
`
deve essere aggiunto al file .bashrc di root e non dell’utente normale (togliendo il sudo interno) , in quanto il listato fa riferimento a comandi da impartire come amministratore.
Quindi deve essere aggiunto alla fine del file /root/.bashrc.
– registrazione della modifica (sempre come root):
`
# . /root/.bashrc
# sutlmgr
`Questo quanto si deve fare con Debian pura, o con qualsiasi distribuzione basata su Debian con utente normale non indicato nel gruppo “sudoers”.
Spero di aver fatto cosa gradita.
- Devi essere connesso per rispondere a questo topic.