Re: override di manpage
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
Reply to: