Re: override di manpage
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? io disinstallerei il vecchio java installando al suo posto i pacchetti: java-compiler-dummy - Dummy Java compiler java-virtual-machine-dummy - Dummy Java virtual machine ciao -- | Marco Nenciarini | Debian/GNU Linux User - Plug Member | | [EMAIL PROTECTED] | http://www.prato.linux.it/~mnencia| Key fingerprint = FED9 69C7 9E67 21F5 7D95 5270 6864 730D F095 E5E4
Re: override di manpage
On Thu, May 03, 2001 at 03:42:18PM +0200, Gian Piero Carrubba wrote: Stefano Zacchiroli wrote: Non riesco a dire a man quale manpage deve invocare per un dato eseguibile. so sto per dire una stupidaggine, ma non riesco a trattenermi ;)... l'unico consiglio che mi viene in mente e' quello di ricontrollare i link... i collegamenti simbolici non presuppongono l'esistenza del file di destinazione, e mi e' successo non poche volte che un semplice errore di digitazione mi facesse letteralmente impazzire... scusa per l'ovvieta' ;) $ which java /usr/local/bin/java $ man -l /usr/local/man/man1/java.1 [parte la manpage aggiornata] $ man java [parte la manpage vecchia del pacchetto debian :-))) cmq hai ragione: e' sempre bene controllare ... -- - Zack - Stefano Zacchiroli [EMAIL PROTECTED] ICQ# 33538863 Home Page: http://www.students.cs.unibo.it/~zacchiro Undergraduate Student of Computer Science at University of Bologna, Italy SysAdm of verdicchio.students.cs.unibo.it (130.136.3.134) Information wants to be Open pgpBwqCvrFhjM.pgp Description: PGP signature
override di manpage
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? TIA -- - Zack - Stefano Zacchiroli [EMAIL PROTECTED] ICQ# 33538863 Home Page: http://www.students.cs.unibo.it/~zacchiro Undergraduate Student of Computer Science at University of Bologna, Italy SysAdm of verdicchio.students.cs.unibo.it (130.136.3.134) Information wants to be Open
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
Re: override di manpage
On Wed, May 02, 2001 at 08:34:40PM -0700, Francesco Bochicchio wrote: 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. lo escludo: ho eseguito 'mandb -c' dopo l'installazione, cmq ho provato e continua a non funzionare. Quello che non capisco e' per quale motivo non consideri il mapping path-manpath che e' definito in /etc/manpath.config. (Mi ero scordato di dirlo, ma chiaramente nella path /usr/local/bin l'ho messa prima di /usr/bin quindi quando eseguo 'java' e co. sono certo che vengano lanciati quelli in /usr/local/bin) -- - Zack - Stefano Zacchiroli [EMAIL PROTECTED] ICQ# 33538863 Home Page: http://www.students.cs.unibo.it/~zacchiro Undergraduate Student of Computer Science at University of Bologna, Italy SysAdm of verdicchio.students.cs.unibo.it (130.136.3.134) Information wants to be Open pgpdj060RVSbI.pgp Description: PGP signature