Allora, lato positivo: con l’ultimo comando che mi hai dato funziona.
Ti riporto l’output del comando che mi hai detto di digitare
`$ sudo sudo -V
Sudo version 1.7.0Sudoers path: /etc/sudoers
Authentication methods: 'pam'
…
Value to override user's $PATH with: /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin
…
Locale to use while parsing sudoers: C
Local IP address and netmask pairs:
192.168.0.2 / 255.255.255.0
fe80::222:faff:fe4c:df8e / ffff:ffff:ffff:ffff::
`
La parte che ho segnato in rosso è quella rilevante: per motivi di sicurezza, sudo è stato compilato in modo da usare sempre quel PATH. Il piano alternativo funziona perché “sudo su” entra in una shell dove puoi modificare il PATH nel modo indicato. Fa’ molta attenzione: non dimenticarti di uscire dalla shell di root quando finisci di lavorare con tlmgr.
Ciao
Enrico