Installazione TL2013: problema texlive.sh

Non è un problema nel senso che la distribuzione dovrebbe funzionarti, però il trucchetto suggerito da Enrico è comodo per le future installazioni. Sembra che il file [tt]/etc/profile.d/texlive.sh[/tt] non venga letto. Sicuro di usare la shell bash? Per esempio la zsh non legge automaticamente i file in quella cartella

Allora il problema è LightDM (ricordavo che LightDM desse un altro problema invece il problema è proprio quello che lamenti tu), la soluzione è stata suggerita da Doc qui http://www.guitex.org/home/it/forum/5-tex-e-latex/74049-tex-live-2012?limit=15&start=75#82084 ma la riporto per convenienza

Doc” post=82084Perfetto! Hai, come pensavo, LightDM. Ti risparmio i motivi per cui la procedura di Enrico non va bene (su Debian) e ti indico subito quello che devi fare, copiando dai miei appunti:

`mousepad ~/.xsessionrc`
ed aggiungere in fondo
`# To use with LightDM, because this doensn't source .profile
export PATH=/opt/texbin:${PATH}`
Quindi, diamo uno dei seguenti comani, a seconda se il nostro sistema è a 32 o a 64 bit:
`sudo ln -s /usr/local/texlive/2012/bin/i386-linux /opt/texbin
sudo ln -s /usr/local/texlive/2012/bin/x86_64-linux /opt/texbin`
Effettuare un logout. A questo punto, se il comando
`which tex`
dà come risposta
`/opt/texbin/tex`
siamo a cavallo.

Elrond” post=88136Allora il problema è LightDM (ricordavo che LightDM desse un altro problema invece il problema è proprio quello che lamenti tu), la soluzione è stata suggerita da Doc qui http://www.guitex.org/home/it/forum/5-tex-e-latex/74049-tex-live-2012?limit=15&start=75#82084 ma la riporto per convenienza

Perfetto! Hai, come pensavo, LightDM. Ti risparmio i motivi per cui la procedura di Enrico non va bene (su Debian) e ti indico subito quello che devi fare, copiando dai miei appunti:

`mousepad ~/.xsessionrc`
ed aggiungere in fondo
`# To use with LightDM, because this doensn't source .profile
export PATH=/opt/texbin:${PATH}`
Quindi, diamo uno dei seguenti comani, a seconda se il nostro sistema è a 32 o a 64 bit:
`sudo ln -s /usr/local/texlive/2012/bin/i386-linux /opt/texbin
sudo ln -s /usr/local/texlive/2012/bin/x86_64-linux /opt/texbin`
Effettuare un logout. A questo punto, se il comando
`which tex`
dà come risposta
`/opt/texbin/tex`
siamo a cavallo.

@Elrond
La mia procedora vale SOLO per Debian, e non anche su Ubuntu. C’è tutta una polemica nel Debian Bug Tracking tra uno che chiedeva al dev di far sì che LightDM vedesse /etc/profile come su Ubuntu, e il dev che lo mandava a quel paese.

Temo che il problema del nostro amico è quello di aver installato ANCHE la TL dei repos, oppure di aver fatto installare i binari di TL in /usr/bin, spuntando la relativa voce dell’installer.

Ciao
Domenico

Doc” post=88141 @Elrond
La mia procedora vale SOLO per Debian, e non anche su Ubuntu. C’è tutta una polemica nel Debian Bug Tracking tra uno che chiedeva al dev di far sì che LightDM vedesse /etc/profile come su Ubuntu, e il dev che lo mandava a quel paese.

Ah, su Debian legge [tt]/etc/profile.d[/tt] e su Debian no? Perché questo macello 😕

Temo che il problema del nostro amico è quello di aver installato ANCHE la TL dei repos, oppure di aver fatto installare i binari di TL in /usr/bin, spuntando la relativa voce dell’installer.

Confesso che non avevo notato che la risposta di [tt]which tex[/tt] è [tt]/usr/bin/tex[/tt] e non [tt]/usr/local/bin/tex[/tt], comunque se [tt]PATH[/tt] è impostato a [tt]/opt/texbin:${PATH}[/tt] la risposta dovrebbe essere [tt]/opt/texbin/tex[/tt], ha la precedenza la prima cartella trovata nella variabile. La soluzione comunque è sempre aggiungere l’impostazione a un file che sia sicuramente letto. Che ne dite del banale [tt]~/.bashrc[/tt] dato che usa la bash? Perde la comodità di avere un’impostazione sistem-wide, ma se si ha un solo utente sul sistema in pratica non cambia granché.

Elrond” post=88142

@Elrond
La mia procedora vale SOLO per Debian, e non anche su Ubuntu. C’è tutta una polemica nel Debian Bug Tracking tra uno che chiedeva al dev di far sì che LightDM vedesse /etc/profile come su Ubuntu, e il dev che lo mandava a quel paese.

Ah, su Debian legge [tt]/etc/profile.d[/tt] e su Debian no? Perché questo macello 😕

Perché il mantainer è piuttosto antipatico! 😉

Cf. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636108