On Wed, May 02, 2001 at 05:30:56PM +0200, Stefano Zacchiroli wrote: > Non riesco a dire a man quale manpage deve invocare per un dato > eseguibile. > Il caso e' il seguente: ho installato il pacchetto debian del jre 1.1.8, > poi ho installato pure l'sdk 1.3 installandolo 'alla vecchia' in > /usr/local senza usare i .deb dato che non esistono. > Ho fatto i link per tutti gli eseguibili e li ho messi in > /usr/local/bin; ho inoltre fatto i link per le manpage in > /usr/local/man/man1. > A questo punto dato che in /etc/manpath.config c'e' la riga: > MANPATH_MAP /usr/local/bin /usr/local/man > mi aspetto che eseguendo "man java" mi venga visualizzata la manpage > presa da /usr/local/man/man1/java.1 e non quella presa da /usr/share... > questo pero' non accade (mi viene visualizzata la manpage standard presa > dal pacchetto debian del jdk 1.1.8: assolutamente inutile). > > Avete idea del motivo?
Prova a lanciare una volta mandb /usr/local/man. Puo' darsi che la cache di man non e' aggiornata, dato che hai installato il jdk a mano. Ciao -- FB
