9 Giugno 2012 alle 10:20
#74801
::
Io ho risolto creando con gedit un file di testo chiamato TexLive Manager 2011.desktop e salvandolo nella cartella nascosta .local/share/applications.
Il testo inserito nel file è
[Desktop Entry]
Encoding=UTF-8
Version=1.0
Name=TexLive Manager 2011
Comment=
Type=Application
Exec=gksu -d -S -D “TeXLive Manager” ‘/opt/texbin/tlmgr -gui’
Icon=/usr/share/pixmaps/gedit-icon.xpm
Name[it]=TexLive Manager 2011
Il programma è facilmente richiamabile dalla dash di unity, l’interfaccia di default su Ubuntu (nel mio caso la 12.04).