Aggiungo qualche nota da utente Debian.
Confermo che le istruzioni di Enrico, per quanto testate su Ubuntu, vanno benissimo anche su Debian, ma aggiungo qualche informazione.
Se, e dico SE, come ho fatto io, sei migrato su lightdm come desktop manager, quelle istruzioni NON vanno bene.
Come vedi, infatti, Enrico suggerisce di aggiungere il path al livello di /etc/profile.d, ma questo percorso NON viene caricato da lightdm, come non viene caricato l’eventuale ~/.profile.
Come mai? È una precisa decisione del debian mantainer! Cf. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636108
Come si può vedere dalla discussione linkata, il problema non dovrebbe affliggere gli utenti di Ubuntu, in quanto ivi lightdm è stato appositamente modificato.
Come risolvere?
Sto studiando, molto a tempo perso, come fare al livello di sistema, dunque, presumo, al livello di /etc/X11/Xsession.d.
Intanto, ho però risolto al livello utente, semplicemente creandomi un file ~/.xsessionrc, contenente:
`export PATH=/opt/texbin:${PATH}`
Spero che queste informazioni possano risultare utili.
Ciao
Domenico