Capisco. Grazie per le spiegazioni. Riporto la soluzione, magari servisse a qualcuno.
Problema: dopo aver effettuato l’importazione di un account da un vecchio HDD non avevo più la possibilità di utilizzare il comando “texdoc” da terminale.
Dando da terminale
`echo $PATH`
mi veniva restituito
`/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11/bin`
che è una lista incompleta di percorsi. Siccome poi il comando
`ls /etc/paths.d`
restituiva semplicemente “X11” è bastato eseguire la seguente serie di comandi e fare un logout/login dell’utente per rimettere tutto a posto:
`echo /usr/texbin > 10-TeX
sudo mv 10-TeX /etc/paths.d
echo /Library/TeX/Distributions/.DefaultTeX/Contents/Man > 10-TeX
sudo mv 10-TeX manpaths.d`
Grazie ancora ad Enrico
Ciao a tutti
Fra